The Stacks project

Lemma 9.14.5. Let $E/F$ be a finite purely inseparable field extension of characteristic $p > 0$. Then there exists a sequence of elements $\alpha _1, \ldots , \alpha _ n \in E$ such that we obtain a tower of fields

\[ E = F(\alpha _1, \ldots , \alpha _ n) \supset F(\alpha _1, \ldots , \alpha _{n - 1}) \supset \ldots \supset F(\alpha _1) \supset F \]

such that each intermediate extension is of degree $p$ and comes from adjoining a $p$th root. Namely, $\alpha _ i^ p \in F(\alpha _1, \ldots , \alpha _{i - 1})$ is an element which does not have a $p$th root in $F(\alpha _1, \ldots , \alpha _{i - 1})$ for $i = 1, \ldots , n$.

Proof. By induction on the degree of $E/F$. If the degree of the extension is $1$ then the result is clear (with $n = 0$). If not, then choose $\alpha \in E$, $\alpha \not\in F$. Say $\alpha ^{p^ r} \in F$ for some $r > 0$. Pick $r$ minimal and replace $\alpha $ by $\alpha ^{p^{r - 1}}$. Then $\alpha \not\in F$, but $\alpha ^ p \in F$. Then $t = \alpha ^ p$ is not a $p$th power in $F$ (because that would imply $\alpha \in F$, see Lemma 9.12.5 or its proof). Thus $F \subset F(\alpha )$ is a subextension of degree $p$ (Lemma 9.14.2). By induction we find $\alpha _1, \ldots , \alpha _ n \in E$ generating $E/F(\alpha )$ satisfying the conclusions of the lemma. The sequence $\alpha , \alpha _1, \ldots , \alpha _ n$ does the job for the extension $E/F$. $\square$

Comments (0)

There are also:

  • 3 comment(s) on Section 9.14: Purely inseparable extensions

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 09HI. Beware of the difference between the letter 'O' and the digit '0'.