If $E/K$ is a finitely generated field extension and $F$ is an intermediate field how can I prove that $F/K$ is finitely generated?
Subextension of a finitely generated extension of fields
-
0Possible duplicate: http://math.stackexchange.com/questions/34424/finitely-generated-field-extensions – 2012-03-29
3 Answers
First of all if $E/K$ is finitely generated this means that $E = K(a_1,\ldots a_n)$ where the $a_i$ are algebraic over $K$. Since $F$ is an intermediate field, you have the containment
$K \subseteq F \subseteq E.$
We now need the result the following result:
If $E = K(a_1,\ldots a_n)$, then $[E:K]$ finite.
$\textbf{Proof:}$ Since $a_1$ is algebraic over $F$, $[K(a_1) : K]$ is finite. Since $a_2$ is algebraic over $K$, it is algebraic over $K(a_1)$ because $K \subset K(a_1)$. Hence $[K(a_1,a_2):K]$ is finite by the dimension counting formula. Continuing in this fashion we see that $[E:K] = [K(a_1, \ldots a_n):K]$ is finite, proving our claim.
Since $[E:K]$ is finite, the dimension counting formula implies that $[E:F]$ and $[F:K]$ are finite. In particular this means that $[F:K]$ is finite so that $F/K$ is finitely generated.
Alternatively if you know linear algebra, $F$ being an intermediate field is a $K$ - vector subspace of a finite dimensional $K$ - vector space $E$, hence is finite dimensional as well.
-
0This is not correct, finitely generated does not mean algebraic. – 2015-04-20
The result is easy if you suppose that the big extension $E/K$ is algebraic ( equivalently: finite) and Benjamin has given you a proof.
But it is also true in complete generality: if $E/K$ is a field extension and if $E=K(x_1,...,x_n)$ is a finitely generated extension, then any intermediate field $K\subset F\subset E$ is also finitely generated .
The difficulty is that some or all of the $x_i$'s might be transcendental over $K$.
Even in the case of a purely transcendental extension $K\subset K(X_1,...,X_n)$ the situation is quite complicated and it is not true for $n\gt 1$ that $F$ must be purely transcendental too : this is the failure of Lüroth's theorem in higher dimensions.
A proof of finite generation of $F$ in the general non-algebraic case is surprisingly difficult to locate in the literature. The only reference I could find is Theorem 24.9 in Isaacs's book.
-
0Dear Georges: I found [this MathOverflow answer](http://mathoverflow.net/questions/21086/when-are-intersections-of-finitely-generated-field-extensions-finitely-generated/21093#21093) by our friend Martin Brandenburg. – 2012-03-29
A proof of the general case can be found in $\S 12.4$ of my field theory notes.
-
0An excellent, freely available reference. – 2012-03-29