In field theory, a branch of algebra, an algebraic field extension is called a separable extension if for every , the minimal polynomial of over F is a separable polynomial (i.e., its formal derivative is not the zero polynomial, or equivalently it has no repeated roots in any extension field).[1] There is also a more general definition that applies when E is not necessarily algebraic over F. An extension that is not separable is said to be inseparable.
Every algebraic extension of a field of characteristic zero is separable, and every algebraic extension of a finite field is separable.[2]
It follows that most extensions that are considered in mathematics are separable. Nevertheless, the concept of separability is important, as the existence of inseparable extensions is the main obstacle for extending many theorems proved in characteristic zero to non-zero characteristic. For example, the fundamental theorem of Galois theory is a theorem about normal extensions, which remains true in non-zero characteristic only if the extensions are also assumed to be separable.[3]
The opposite concept, a purely inseparable extension, also occurs naturally, as every algebraic extension may be decomposed uniquely as a purely inseparable extension of a separable extension. An algebraic extension of fields of non-zero characteristic p is a purely inseparable extension if and only if for every , the minimal polynomial of over F is not a separable polynomial, or, equivalently, for every element x of E, there is a positive integer k such that .[4]
The simplest nontrivial example of a (purely) inseparable extension is , fields of rational functions in the indeterminate x with coefficients in the finite field . The element has minimal polynomial , having and a p-fold multiple root, as . This is a simple algebraic extension of degree p, as , but it is not a normal extension since the Galois group is trivial.
^Isaacs, p. 281
^Isaacs, Theorem 18.11, p. 281
^Isaacs, Theorem 18.13, p. 282
^Isaacs, p. 298
and 25 Related for: Separable extension information
Separable polynomials are used to define separable extensions: A field extension K ⊂ L is a separableextension if and only if for every α in L which is algebraic...
extension is a field extension that is both normal and separable. A consequence of the primitive element theorem states that every finite separable extension...
In mathematics, a Galois extension is an algebraic field extension E/F that is normal and separable; or equivalently, E/F is algebraic, and the field fixed...
that p doesn't divide n, since otherwise this can fail even to be a separableextension). In general, however, the Galois groups of n-th roots of elements...
a separable algebra is a kind of semisimple algebra. It is a generalization to associative algebras of the notion of a separable field extension. A ring...
of a separable field extensionSeparable differential equation, in which separation of variables is achieved by various means Separableextension, in field...
coefficients in k. Integral element Lüroth's theorem Galois extensionSeparableextension Normal extension Fraleigh (2014), Definition 31.1, p. 283. Malik, Mordeson...
Separableextension An extension generated by roots of separable polynomials. Perfect field A field such that every finite extension is separable. All...
any field extension F/k. Every irreducible polynomial over k has non-zero formal derivative. Every irreducible polynomial over k is separable. Every finite...
theory, the primitive element theorem states that every finite separable field extension is simple, i.e. generated by a single element. This theorem implies...
field K, making a torus over S an algebraic group whose extension to some finite separableextension L is a finite product of copies of Gm/L. In general,...
of categories between the finite unramified extensions of a local field K and finite separableextensions of the residue field of K. Again, let L / K...
of α {\displaystyle \alpha } over F is not a separable polynomial. If F is any field, the trivial extension F ⊇ F {\displaystyle F\supseteq F} is purely...
transcendence basis S such that L is a separable algebraic extension over K(S). A field extension L / K is said to be separably generated if it admits a separating...
field EH is a normal extension of F (or, equivalently, Galois extension, since any subextension of a separableextension is separable) if and only if H is...
the polynomial equation xpn − x = 0. Any finite field extension of a finite field is separable and simple. That is, if E is a finite field and F is a...
is separable). A splitting field of a set of P of polynomials is the smallest field over which each of the polynomials in P splits. An extension L that...
disjoint from the separable closure of K over K. A subextension of a primary extension is primary. A primary extension of a primary extension is primary (transitivity)...
integrally closed domain with field of fractions K. If L/K is a finite separableextension, then the integral closure A ′ {\displaystyle A'} of A in L is a...
Field extension Algebraic extension Splitting field Algebraically closed field Algebraic element Algebraic closure SeparableextensionSeparable polynomial...
is a finite extension field of k. The variety X is smooth over k if and only if E is a separableextension of k. Thus, if E is not separable over k, then...
Hilbert space is separable provided it contains a dense countable subset. Along with Zorn's lemma, this means a Hilbert space is separable if and only if...