Lemma 53.13.2 (0CCX)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 53: Algebraic Curves
Section 53.13: Inseparable maps
Lemma 53.13.2 (cite)

numberstags

Lemma 53.13.2. Let $k$ be a field of characteristic $p > 0$ . Let $f : X \to Y$ be a nonconstant morphism of proper nonsingular curves over $k$ . If the extension $k(X)/k(Y)$ of function fields is purely inseparable, then there exists a factorization

$X = X_0 \to X_1 \to \ldots \to X_ n = Y$

such that each $X_ i$ is a proper nonsingular curve and $X_ i \to X_{i + 1}$ is a degree $p$ morphism with $k(X_{i + 1}) \subset k(X_ i)$ inseparable.

Proof. This follows from Theorem 53.2.6 and the fact that a finite purely inseparable extension of fields can always be gotten as a sequence of (inseparable) extensions of degree $p$ , see Fields, Lemma 9.14.5. $\square$

Comments (0)

There are also:

7 comment(s) on Section 53.13: Inseparable maps

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