Is there any example of a field extension $K/F$ where degree of extension $[K:F]$ is finite but the number of intermediate field is infinite ?
A problem on field extension
3
$\begingroup$
field-theory
-
0Possibly related: https://math.stackexchange.com/questions/1823100 – 2016-10-03
1 Answers
16
A field extension of finite degree has only finitely many intermediate extensions if and only if there is a primitive element. So if we can find a finite extension that has no primitive element then the number of intermediate fields must be infinite.
Consider $K = \mathbb F_p(X,Y)$, the field of rational functions in two variables over the finite field with $p$ elements, and the extension $L = K(X^{1/p}, Y^{1/p})$. Then $L$ is a field extension of degree $p^2$ over $K$. However, there cannot be a primitive element since $\alpha^p \in K$ for every $\alpha \in L$ but a primitive element must have degree $p^2$ over $K$.
The fundamental theorem of Galois theory doesn't apply here since the extension is not separable.
EDIT: By looking at the proof of the primitive element theorem, an infinite number of intermediate fields can explicitly given by $K(\alpha X^{1/p}+Y^{1/p})$ for $\alpha \in K$. To show that these fields are distinct assume $E = K(\alpha X^{1/p}+Y^{1/p}) = K(\beta X^{1/p}+Y^{1/p})$ with $\alpha,\beta \in K$ and $\alpha \neq \beta$. Then $E$ contains $(\alpha-\beta)X^{1/p}$, hence it contains $X^{1/p}$ and $Y^{1/p}$. But then $E = K(X^{1/p},Y^{1/p})$ which is a contradiction since $\alpha X^{1/p}+Y^{1/p}$ would be a primitive element of $K(X^{1/p},Y^{1/p})$ over $K$ which is impossible.
-
0Yes, if the extension is Galois then such an example cannot exist because of the fundamental theorem of Galois theory. In fact, if the extension is only separable (not necessarily normal) then you can still loo$k$ a$t$ the Galois closure. That's why we had to choose an extension that is not even separable. – 2012-03-11