Separable extension

In modern algebra, an algebraic field extension E\supseteq F is a separable extension if and only if for every \alpha\in E, the minimal polynomial of \alpha over F is a separable polynomial (i.e., has distinct roots).[1] Otherwise, the extension is called inseparable. There are other equivalent definitions of the notion of a separable algebraic extension, and these are outlined later in the article.

The class of separable extensions is an extremely important one due to the fundamental role it plays in Galois theory. More specifically, a finite degree field extension is Galois if and only if it is both normal and separable.[2] Since algebraic extensions of fields of characteristic zero, and of finite fields, are separable, separability is not an obstacle in most applications of Galois theory.[3][4] For instance, every algebraic (in particular, finite degree) extension of the field of rational numbers is necessarily separable.

Despite the ubiquity of the class of separable extensions in mathematics, its extreme opposite, namely the class of purely inseparable extensions, also occurs quite naturally. An algebraic extension E\supseteq F is a purely inseparable extension if and only if for every \alpha\in E\setminus F, the minimal polynomial of \alpha over F is not a separable polynomial (i.e., does not have distinct roots).[5] For a field F to possess a non-trivial purely inseparable extension, it must necessarily be an infinite field of prime characteristic (i.e. specifically, imperfect), since any algebraic extension of a perfect field is necessarily separable.[6]

The study of separable extensions in their own right has far-reaching consequences. For instance, consider the result: "If E is a field with the property that every nonconstant polynomial with coefficients in E has a root in E, then E is algebraically closed."[7] Despite its simplicity, it suggests a deeper conjecture: "If E\supseteq F is an algebraic extension and if every nonconstant polynomial with coefficients in F has a root in E, is E algebraically closed?"[8] Although this conjecture is true, most of its known proofs depend on the theory of separable and purely inseparable extensions; for instance, in the case corresponding to the extension E\supseteq F being separable, one known proof involves the use of the primitive element theorem in the context of Galois extensions.[9]

Contents

Informal discussion

The reader may wish to assume that, in what follows, F is the field of rational, real or complex numbers, unless otherwise stated.

An arbitrary polynomial f with coefficients in some field F is said to have distinct roots if and only if it has deg(f) roots in some extension field E\supseteq F. For instance, the polynomial g(X)=X2+1 with real coefficients has precisely deg(g)=2 roots in the complex plane; namely the imaginary unit i, and its additive inverse −i, and hence does have distinct roots. On the other hand, the polynomial h(X)=(X−2)2 with real coefficients does not have distinct roots; only 2 can be a root of this polynomial in the complex plane and hence it has only one, and not deg(f)=2 roots.

In general, it can be shown that the polynomial f with coefficients in F has distinct roots if and only if for any extension field E\supseteq F, and any \alpha\in E, (X-\alpha)^2 does not divide f in E[X]. For instance, in the above paragraph, one observes that g has distinct roots and indeed g(X)=(X+i)(Xi) in the complex plane (and hence cannot have any factor of the form (X-\alpha)^2 for any \alpha in the complex plane). On the other hand, h does not have distinct roots and indeed, h(X)=(X−2)2 in the complex plane (and hence does have a factor of the form (X-\alpha)^2 for \alpha=2).

Although an arbitrary polynomial with rational or real coefficients may not have distinct roots, it is natural to ask at this stage whether or not there exists an irreducible polynomial with rational or real coefficients that does not have distinct roots. The polynomial h(X)=(X−2)2 does not have distinct roots but it is not irreducible as it has a non-trivial factor (X−2). In fact, it is true that there is no irreducible polynomial with rational or real coefficients that does not have distinct roots; in the language of field theory, every algebraic extension of \mathbb{Q} or \mathbb{R} is separable and hence both of these fields are perfect.

Separable and inseparable polynomials

A polynomial f in F[X] is a separable polynomial if and only if every irreducible factor of f in F[X] has distinct roots.[10] The separability of a polynomial depends on the field in which its coefficients are considered to lie; for instance, if g is an inseparable polynomial in F[X], and one considers a splitting field, E, for g over F, g is necessarily separable in E[X] since an arbitrary irreducible factor of g in E[X] is linear and hence has distinct roots.[11] Despite this, a separable polynomial h in F[X] must necessarily be separable over every extension field of F.[12]

Let f in F[X] be an irreducible polynomial and f' its formal derivative. Then the following are equivalent conditions for f to be separable; that is, to have distinct roots:

By the last condition above, if an irreducible polynomial does not have distinct roots, its derivative must be zero. Since the formal derivative of a positive degree polynomial can be zero only if the field has prime characteristic, for an irreducible polynomial to not have distinct roots its coefficients must lie in a field of prime characteristic. More generally, if an irreducible (non-zero) polynomial f in F[X] does not have distinct roots, not only must the characteristic of F be a (non-zero) prime number p, but also f(X)=g(Xp) for some irreducible polynomial g in F[X].[16] By repeated application of this property, it follows that in fact, f(X)=g(X^{p^n}) for a non-negative integer n and some separable irreducible polynomial g in F[X] (where F is assumed to have prime characteristic p).[17]

By the property noted in the above paragraph, if f is an irreducible (non-zero) polynomial with coefficients in the field F of prime characteristic p, and does not have distinct roots, it is possible to write f(X)=g(Xp). Furthermore, if g(X)=\sum a_iX^i, and if the Frobenius endomorphism of F is an automorphism, g may be written as g(X)=\sum b_i^{p}X^i, and in particular, f(X)=g(X^p)=\sum b_i^{p}X^{pi}=(\sum b_iX^i)^p; a contradiction of the irreducibility of f. Therefore, if F[X] possesses an inseparable irreducible (non-zero) polynomial, then the Frobenius endomorphism of F cannot be an automorphism (where F is assumed to have prime characteristic p).[18]

If K is a finite field of prime characteristic p, and if X is an indeterminant, then the field of rational functions over K, K(X), is necessarily imperfect. Furthermore, the polynomial f(Y)=YpX is inseparable.[19] (To see this, note that there is some extension field E\supseteq K(X) in which f has a root \alpha; necessarily, \alpha^{p}=X in E. Therefore, working over E, f(Y)=Y^p-X=Y^p-\alpha^{p}=(Y-\alpha)^p (the final equality in the sequence follows from freshman's dream), and f does not have distinct roots.) More generally, if F is any field of (non-zero) prime characteristic for which the Frobenius endomorphism is not an automorphism, F possesses an inseparable algebraic extension.[20]

A field F is perfect if and only if all of its algebraic extensions are separable (in fact, all algebraic extensions of F are separable if and only if all finite degree extensions of F are separable). By the argument outlined in the above paragraphs, it follows that F is perfect if and only if F has characteristic zero, or F has (non-zero) prime characteristic p and the Frobenius endomorphism of F is an automorphism.

Properties

Purely inseparable extensions

An algebraic extension E\supseteq F is a purely inseparable extension if and only if for every \alpha\in E\setminus F, the minimal polynomial of \alpha over F is not a separable polynomial.[24] If F is any field, the trivial extension 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 E\supseteq F is an algebraic extension with (non-zero) prime characteristic p, then the following are equivalent[25]:

1. E is purely inseparable over F

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

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

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

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

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

Separable extensions within algebraic extensions

Separable extensions occur quite naturally within arbitrary algebraic field extensions. More specifically, if E\supseteq F is an algebraic extension and if S=\{\alpha\in E|\alpha \mbox{ is separable over } F\}, then S is the unique intermediate field that is separable over F and over which E is purely inseparable.[32] If E\supseteq F is a finite degree extension, the degree [S : F] is referred to as the separable part of the degree of the extension E\supseteq F (or the separable degree of E/F), and is often denoted by [E : F]sep or [E : F]s.[33] The inseparable degree of E/F is the quotient of the degree by the separable degree. When the characteristic of F is p > 0, it is a power of p.[34] Since the extension E\supseteq F is separable if and only if S=E, it follows that for separable extensions, [E : F]=[E : F]sep, and conversly. If E\supseteq F is not separable (i.e., inseparable), then [E : F]sep is necessarily a non-trivial divisor of [E : F], and the quotient is necessarily a power of the characteristic of F.[35]

On the other hand, an arbitrary algebraic extension E\supseteq F may not possess an intermediate extension K that is purely inseparable over F and over which E is separable (however, such an intermediate extension does exist when E\supseteq F is a finite degree normal extension (in this case, K can be the fixed field of the Galois group of E over F)). If such an intermediate extension does exist, and if [E : F] is finite, then if S is defined as in the previous paragraph, [E : F]sep=[S : F]=[E : K].[36] One known proof of this result depends on the primitive element theorem, but there does exist a proof of this result independent of the primitive element theorem (both proofs use the fact that if K\supseteq F is a purely inseparable extension, and if f in F[X] is a separable irreducible polynomial, then f remains irreducible in K[X][37]). The equality above ([E : F]sep=[S : F]=[E : K]) may be used to prove that if E\supseteq U\supseteq F is such that [E : F] is finite, then [E : F]sep=[E : U]sep[U : F]sep.[38]

If F is any field, the separable closure Fsep of F is the field of all elements in the algebraic closure of F that are separable over F. The separable closure of F is useful in that Galois theory may be carried out within it. Of course, if F is perfect, then the separable closure of F is precisely its algebraic closure (in particular, the notion of a separable closure is only interesting in the context of imperfect fields).

The definition of separable non-algebraic extension fields

Although many important applications of the theory of separable extensions stem from the context of algebraic field extensions, there are important instances in mathematics where it is profitable to study (not necessarily algebraic) separable field extensions.

Let F/k be a field extension and let p be the characteristic exponent of k.[39] For any field extension L of k, we write F_L = L \otimes_k F (cf. Tensor product of fields.) Then F is said to be separable over k if the following equivalent conditions are met:

(In other words, F is separable over k if F is a separable k-algebra.)

Suppose there is some field extension L of k such that F_L is a domain. Then F is separable over k if and only if the field of fractions of F_L is separable over L.

An algebraic element of F is said to be separable over k if its minimal polynomial is separable. If F/k is an algebraic extension, then the following are equivalent.

If F/k is finite extension, then the following are equivalent.

In the above, (iii) is known as the primitive element theorem.

Fix the algebraic closure \overline{k}, and denote by k_s the set of all elements of \overline{k} that are separable over k. k_s is then separable algebraic over k and any separable algebraic subextension of \overline{k} is contaiend in k_s; it is called the separable closure of k (inside \overline{k}). \overline{k} is then purely inseparable over k_s. Put in another way, k is perfect if and only if \overline{k} = k_s.

Differential criteria

The separability can be studied with the aid of derivations and Kähler differentials. Let F be a finitely generated field extension of a field k. Then

\dim_F \operatorname{Der}_k(F, F) \ge \operatorname{tr.deg}_k F

where the equality holds if and only if F is separable over k.

In particular, if F/k is an algebraic extension, then \operatorname{Der}_k(F, F) = 0 if and only if F/k is separable.

Let D_1, ..., D_m be a basis of \operatorname{Der}_k(F, F) and a_1, ..., a_m \in F. Then F is separable algebraic over k(a_1, ..., a_m) if and only if the matrix D_i(a_j) is invertible. In particular, when m = \operatorname{tr.deg}_k F, \{ a_1, ..., a_m \} above is called the separating transcendence basis.

See also

Notes

  1. ^ Isaacs, p. 281
  2. ^ Isaacs, Theorem 18.13, p. 282
  3. ^ Isaacs, Theorem 18.11, p. 281
  4. ^ Isaacs, p. 293
  5. ^ Isaacs, p. 298
  6. ^ Isaacs, Theorem 18.11, p. 281
  7. ^ Isaacs, Theorem 19.22, p. 303
  8. ^ Isaacs, p. 269
  9. ^ Isaacs, Theorem 19.22, p. 303
  10. ^ Isaacs, p. 280
  11. ^ Isaacs, p. 281
  12. ^ Isaacs, Lemma 18.10, p. 281
  13. ^ a b Isaacs, Lemma 18.7, p. 280
  14. ^ Isaacs, Theorem 19.4, p. 295
  15. ^ Isaacs, Corollary 19.5, p. 296
  16. ^ Isaacs, Corollary 19.6, p. 296
  17. ^ Isaacs, Corollary 19.9, p. 298
  18. ^ Isaacs, Theorem 19.7, p. 297
  19. ^ Isaacs, p. 281
  20. ^ Isaacs, p. 299
  21. ^ Isaacs, Lemma 19.15, p. 300
  22. ^ Isaacs, Corollary 19.17, p. 301
  23. ^ Isaacs, Corollary 18.12, p. 281
  24. ^ Isaacs, p. 298
  25. ^ Isaacs, Theorem 19.10, p. 298
  26. ^ Isaacs, Corollary 19.11, p. 298
  27. ^ Isaacs, p. 299
  28. ^ Isaacs, Corollary 19.12, p. 299
  29. ^ Isaacs, Corollary 19.13, p. 300
  30. ^ Isaacs, Corollary 19.16, p. 301
  31. ^ Isaacs, Theorem 19.18, p. 301
  32. ^ Isaacs, Theorem 19.14, p. 300
  33. ^ Isaacs, p. 302
  34. ^ Lang 2002, Corollary V.6.2
  35. ^ Isaacs, p. 302
  36. ^ Isaacs, Theorem 19.19, p. 302
  37. ^ Isaacs, Lemma 19.20, p. 302
  38. ^ Isaacs, Corollary 19.21, p. 303
  39. ^ The characteristic exponent of k is 1 if k has characteristic zero; otherwise, it is the characteristic of k.

References

External links