A finitely generated algebraic extension is finite.

Lemma 9.8.6. Let $k$ be a field, and let $\alpha _1, \alpha _2, \ldots , \alpha _ n$ be elements of some extension field such that each $\alpha _ i$ is algebraic over $k$. Then the extension $k(\alpha _1, \ldots , \alpha _ n)/k$ is finite. That is, a finitely generated algebraic extension is finite.

Proof. Indeed, each extension $k(\alpha _{1}, \ldots , \alpha _{i+1})/k(\alpha _1, \ldots , \alpha _{i})$ is generated by one element and algebraic, hence finite. By multiplicativity of degree (Lemma 9.7.7) we obtain the result. $\square$

Comment #1680 by Michele Serra on

Suggested slogan: A finitely generated algebraic extension is finite.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).