Definition:Purely Inseparable Field Extension/Definition 2

Definition

Let $F$ have positive characteristic $p$.

The extension $E/F$ is purely inseparable if and only if for each $\alpha \in E$ there exists $n \in \N$ such that $\alpha^{p^n} \in F$.

Also see

• Equivalence of Definitions of Purely Inseparable Extension