Purely inseparable extension

In algebra, a purely inseparable extension of fields is an extension k⊆K of fields of characteristic p>0 such that every element of K is a root of an equation of the form x^q = a, with q a power of p and a in k. Purely inseparable extensions are sometimes called radicial extensions, which should not be confused with the similar-sounding but more general notion of radical extensions.

Purely inseparable extensions

An algebraic extension ${\displaystyle E\supseteq F}$  is a purely inseparable extension if and only if for every ${\displaystyle \alpha \in E\setminus F}$ , the minimal polynomial of ${\displaystyle \alpha }$  over F is not a separable polynomial.^[1] If F is any field, the trivial extension ${\displaystyle F\supseteq F}$  is purely inseparable; for the field F to possess a non-trivial purely inseparable extension, it must be imperfect as outlined in the above section.

Several equivalent and more concrete definitions for the notion of a purely inseparable extension are known. If ${\displaystyle E\supseteq F}$  is an algebraic extension with (non-zero) prime characteristic p, then the following are equivalent:^[2]

1. E is purely inseparable over F.

2. For each element ${\displaystyle \alpha \in E}$ , there exists ${\displaystyle n\geq 0}$  such that ${\displaystyle \alpha ^{p^{n}}\in F}$ .

3. Each element of E has minimal polynomial over F of the form ${\displaystyle X^{p^{n}}-a}$  for some integer ${\displaystyle n\geq 0}$  and some element ${\displaystyle a\in F}$ .

It follows from the above equivalent characterizations that if ${\displaystyle E=F[\alpha ]}$  (for F a field of prime characteristic) such that ${\displaystyle \alpha ^{p^{n}}\in F}$  for some integer ${\displaystyle n\geq 0}$ , then E is purely inseparable over F.^[3] (To see this, note that the set of all x such that ${\displaystyle x^{p^{n}}\in F}$  for some ${\displaystyle n\geq 0}$  forms a field; since this field contains both ${\displaystyle \alpha }$  and F, it must be E, and by condition 2 above, ${\displaystyle E\supseteq F}$  must be purely inseparable.)

If F is an imperfect field of prime characteristic p, choose ${\displaystyle a\in F}$  such that a is not a pth power in F, and let f(X)=X^p−a. Then f has no root in F, and so if E is a splitting field for f over F, it is possible to choose ${\displaystyle \alpha }$  with ${\displaystyle f(\alpha )=0}$ . In particular, ${\displaystyle \alpha ^{p}=a}$  and by the property stated in the paragraph directly above, it follows that ${\displaystyle F[\alpha ]\supseteq F}$  is a non-trivial purely inseparable extension (in fact, ${\displaystyle E=F[\alpha ]}$ , and so ${\displaystyle E\supseteq F}$  is automatically a purely inseparable extension).^[4]

Purely inseparable extensions do occur naturally; for example, they occur in algebraic geometry over fields of prime characteristic. If K is a field of characteristic p, and if V is an algebraic variety over K of dimension greater than zero, the function field K(V) is a purely inseparable extension over the subfield K(V)^p of pth powers (this follows from condition 2 above). Such extensions occur in the context of multiplication by p on an elliptic curve over a finite field of characteristic p.

Properties

• If the characteristic of a field F is a (non-zero) prime number p, and if ${\displaystyle E\supseteq F}$  is a purely inseparable extension, then if ${\displaystyle F\subseteq K\subseteq E}$ , K is purely inseparable over F and E is purely inseparable over K. Furthermore, if [E : F] is finite, then it is a power of p, the characteristic of F.^[5]
• Conversely, if ${\displaystyle F\subseteq K\subseteq E}$  is such that ${\displaystyle F\subseteq K}$  and ${\displaystyle K\subseteq E}$  are purely inseparable extensions, then E is purely inseparable over F.^[6]
• An algebraic extension ${\displaystyle E\supseteq F}$  is an inseparable extension if and only if there is some ${\displaystyle \alpha \in E\setminus F}$  such that the minimal polynomial of ${\displaystyle \alpha }$  over F is not a separable polynomial (i.e., an algebraic extension is inseparable if and only if it is not separable; note, however, that an inseparable extension is not the same thing as a purely inseparable extension). If ${\displaystyle E\supseteq F}$  is a finite degree non-trivial inseparable extension, then [E : F] is necessarily divisible by the characteristic of F.^[7]
• If ${\displaystyle E\supseteq F}$  is a finite degree normal extension, and if ${\displaystyle K={\mbox{Fix}}({\mbox{Gal}}(E/F))}$ , then K is purely inseparable over F and E is separable over K.^[8]

References

1. Isaacs, p. 298
2. Isaacs, Theorem 19.10, p. 298
3. Isaacs, Corollary 19.11, p. 298
4. Isaacs, p. 299
5. Isaacs, Corollary 19.12, p. 299
6. Isaacs, Corollary 19.13, p. 300
7. Isaacs, Corollary 19.16, p. 301
8. Isaacs, Theorem 19.18, p. 301

• • I. Martin Isaacs (1993). Algebra, a graduate course (1st ed.). Brooks/Cole Publishing Company. ISBN 0-534-19002-2.