Lemma 10.47.13 (037Q)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.47: Geometrically irreducible algebras
Lemma 10.47.13 (cite)

numberstags

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$

Comments (0)

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

Comments (0)

Post a comment