Question:
Let \( E \subset F \) and \( F \subset K \) be field extensions which are not algebraic. Let \( \alpha \in K \) be algebraic over \( F \) and \( \alpha \notin F \). Let \( L \) be the subfield of \( K \) generated over \( E \) by the coefficients of the monic polynomial of minimal degree over \( F \) which has \( \alpha \) as a zero. Then, which of the following is/are TRUE?
Let \( E \subset F \) and \( F \subset K \) be field extensions which are not algebraic. Let \( \alpha \in K \) be algebraic over \( F \) and \( \alpha \notin F \). Let \( L \) be the subfield of \( K \) generated over \( E \) by the coefficients of the monic polynomial of minimal degree over \( F \) which has \( \alpha \) as a zero. Then, which of the following is/are TRUE?
Show Hint
When dealing with field extensions, remember that algebraic extensions preserve the degree of extension, and the field's dimension can be compared between subfields.
Updated On: Feb 2, 2026
- \( F(\alpha) \supset L(\alpha) \) is a finite extension if and only if \( F \supset L \) is a finite extension
- The dimension of \( L(\alpha) \) over \( L \) is greater than the dimension of \( F(\alpha) \) over \( F \)
- The dimension of \( L(\alpha) \) over \( L \) is smaller than the dimension of \( F(\alpha) \) over \( F \)
- \( F(\alpha) \supset L(\alpha) \) is an algebraic extension if and only if \( F \supset L \) is an algebraic extension
Show Solution
Verified By Collegedunia
The Correct Option is A, D
Solution and Explanation
Step 1: \( F(\alpha) \supset L(\alpha) \) is a finite extension if and only if \( F \supset L \) is a finite extension
Since \( \alpha \) is algebraic over \( F \), both \( F(\alpha) \) and \( L(\alpha) \) are algebraic extensions. Therefore, the finiteness of the extension is preserved between the fields, making (A) TRUE.
Step 2: The dimension of \( L(\alpha) \) over \( L \) is greater than the dimension of \( F(\alpha) \) over \( F \)
Since \( L \subset F \) and \( L(\alpha) \) is generated by a minimal polynomial over \( L \), the dimension of \( L(\alpha) \) over \( L \) cannot be greater than that of \( F(\alpha) \) over \( F \). Hence, (B) is FALSE.
Step 3: The dimension of \( L(\alpha) \) over \( L \) is smaller than the dimension of \( F(\alpha) \) over \( F \)
This is not necessarily true either, as \( \alpha \) might have the same minimal polynomial over both \( F \) and \( L \). Therefore, (C) is FALSE.
Step 4: \( F(\alpha) \supset L(\alpha) \) is an algebraic extension if and only if \( F \supset L \) is an algebraic extension
Since \( \alpha \) is algebraic over \( F \), both \( F(\alpha) \) and \( L(\alpha) \) are algebraic extensions. However, this doesn't imply that \( F \supset L \) is algebraic unless further conditions are given. So (D) is also NOT always TRUE. Hence, (D) is FALSE.
Final Answer
\[ \boxed{(A) \ F(\alpha) \supset L(\alpha) \text{ is a finite extension if and only if } F \supset L \text{ is a finite extension}} \]
Since \( \alpha \) is algebraic over \( F \), both \( F(\alpha) \) and \( L(\alpha) \) are algebraic extensions. Therefore, the finiteness of the extension is preserved between the fields, making (A) TRUE.
Step 2: The dimension of \( L(\alpha) \) over \( L \) is greater than the dimension of \( F(\alpha) \) over \( F \)
Since \( L \subset F \) and \( L(\alpha) \) is generated by a minimal polynomial over \( L \), the dimension of \( L(\alpha) \) over \( L \) cannot be greater than that of \( F(\alpha) \) over \( F \). Hence, (B) is FALSE.
Step 3: The dimension of \( L(\alpha) \) over \( L \) is smaller than the dimension of \( F(\alpha) \) over \( F \)
This is not necessarily true either, as \( \alpha \) might have the same minimal polynomial over both \( F \) and \( L \). Therefore, (C) is FALSE.
Step 4: \( F(\alpha) \supset L(\alpha) \) is an algebraic extension if and only if \( F \supset L \) is an algebraic extension
Since \( \alpha \) is algebraic over \( F \), both \( F(\alpha) \) and \( L(\alpha) \) are algebraic extensions. However, this doesn't imply that \( F \supset L \) is algebraic unless further conditions are given. So (D) is also NOT always TRUE. Hence, (D) is FALSE.
Final Answer
\[ \boxed{(A) \ F(\alpha) \supset L(\alpha) \text{ is a finite extension if and only if } F \supset L \text{ is a finite extension}} \]
Was this answer helpful?
0
0
Top GATE MA Mathematics Questions
- Consider the following condition on a function \( f : {C} \to {C} \): \[ |f(z)| = 1 \quad {for all } z \in {C} { such that } \operatorname{Im}(z) = 0. \] Which one of the following is correct?
- Let \( C \) be the ellipse \( \{ z \in \mathbb{C} : |z - 2| + |z + 2| = 8 \} \) traversed counter-clockwise. The value of the contour integral \[ \int_C \frac{z^2 \, dz}{z^2 - 2z + 2} \] is equal to:
- Let \( X \) be a topological space and \( A \subseteq X \). Given a subset \( S \) of \( X \), let \( {int}(S), \partial S, \) and \( \overline{S} \) denote the interior, boundary, and closure, respectively, of the set \( S \). Which one of the following is NOT necessarily true?
Consider the following limit: $ \lim_{\epsilon \to 0} \frac{1}{\epsilon} \int_{0}^{\infty} e^{-x / \epsilon} \left( \cos(3x) + x^2 + \sqrt{x + 4} \right) dx. $
Which one of the following is correct?- Let \( {R}[X^2, X^3] \) be the subring of \( {R}[X] \) generated by \( X^2 \) and \( X^3 \). Consider the following statements: 1. The ring \( {R}[X^2, X^3] \) is a unique factorization domain.
2. The ring \( {R}[X^2, X^3] \) is a principal ideal domain.
Which one of the following is correct?
View More Questions
Top GATE MA Questions
- No. of group homomorphism from Z4 to S4
- Number of finite non-isomorphic groups with exactly 3 conjugacy classes_____.
- f(x,y)=\(\left\{\begin{matrix} 1-cos(\frac{x^2}{y^2}) \\ \sqrt{x^2+y^2} \end{matrix}\right.\) ;if y≠0 & n∈R, then
- If ‘=’ denotes increasing order of intensity, then the meaning of the words [drizzle — rain — downpour] is analogous to [ — quarrel — feud]. Which one of the given options is appropriate to fill the blank?
- Statements: 1. All heroes are winners.
2. All winners are lucky people. Inferences: I. All lucky people are heroes.
II. Some lucky people are heroes.
III. Some winners are heroes. Which of the above inferences can be logically deduced from statements 1 and 2?
View More Questions