Lemma 10.47.13. Let $K/k$ be a field extension. Consider the subextension $K/k'/k$ consisting of elements separably algebraic over $k$. Then $K$ is geometrically irreducible over $k'$. If $K/k$ is a finitely generated field extension, then $[k' : k] < \infty$.

Proof. The first statement is immediate from Lemma 10.47.12 and the fact that elements separably algebraic over $k'$ are in $k'$ by the transitivity of separable algebraic extensions, see Fields, Lemma 9.12.12. If $K/k$ is finitely generated, then $k'$ is finite over $k$ by Fields, Lemma 9.26.11. $\square$

There are also:

• 6 comment(s) on Section 10.47: Geometrically irreducible algebras

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).