Separable extension

In <a href="/facts/Field_theory_(mathematics)/xAjAS4ko">field theory</a>, a branch of <a href="/facts/Algebra/nMdqczjo">algebra</a>, an <a href="/facts/Algebraic_field_extension/GAs76USY">algebraic field extension</a> 
 
 
 
 E
 
 /
 
 F
 
 
 {\displaystyle E/F}
 
 is called a separable extension if for every 
 
 
 
 α
 ∈
 E
 
 
 {\displaystyle \alpha \in E}
 
, the <a href="/facts/Minimal_polynomial_(field_theory)/dJv9Q0Kh">minimal polynomial</a> of 
 
 
 
 α
 
 
 {\displaystyle \alpha }
 
 over F is a <a href="/facts/Separable_polynomial/5mcxhRGw">separable polynomial</a> (i.e., its <a href="/facts/Formal_derivative/actYz19a">formal derivative</a> is not the zero <a href="/facts/Polynomial/Lzak8VVx">polynomial</a>, or equivalently it has no repeated <a href="/facts/Zero_of_a_function/mlK3dhoT">roots</a> in any extension field). 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 <a href="/facts/Field_(mathematics)/xAjAS4ko">field</a> of <a href="/facts/Characteristic_(algebra)/D2VzcQaG">characteristic</a> zero is separable, and every algebraic extension of a <a href="/facts/Finite_field/UkMGJo3m">finite field</a> is separable.
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 <a href="/facts/Fundamental_theorem_of_Galois_theory/srpbXtxW">fundamental theorem of Galois theory</a> is a theorem about <a href="/facts/Normal_extension/HCIHmH4t">normal extensions</a>, which remains true in non-zero characteristic only if the extensions are also assumed to be separable.
The opposite concept, a <a href="/facts/Purely_inseparable_extension/IoGzhxB7">purely inseparable extension</a>, also occurs naturally, as every algebraic extension may be decomposed uniquely as a purely inseparable extension of a separable extension. An algebraic extension 
 
 
 
 E
 
 /
 
 F
 
 
 {\displaystyle E/F}
 
 of fields of non-zero characteristic p is a purely inseparable extension if and only if for every 
 
 
 
 α
 ∈
 E
 ∖
 F
 
 
 {\displaystyle \alpha \in E\setminus F}
 
, the minimal polynomial of 
 
 
 
 α
 
 
 {\displaystyle \alpha }
 
 over F is not a separable polynomial, or, equivalently, for every element x of E, there is a positive <a href="/facts/Integer/PUwwrawx">integer</a> k such that 
 
 
 
 
 x
 
 
 p
 
 k
 
 
 
 
 ∈
 F
 
 
 {\displaystyle x^{p^{k}}\in F}
 
.
The simplest nontrivial example of a (purely) inseparable extension is 
 
 
 
 E
 =
 
 
 F
 
 
 p
 
 
 (
 x
 )
 ⊇
 F
 =
 
 
 F
 
 
 p
 
 
 (
 
 x
 
 p
 
 
 )
 
 
 {\displaystyle E=\mathbb {F} _{p}(x)\supseteq F=\mathbb {F} _{p}(x^{p})}
 
, fields of <a href="/facts/Rational_function/2nJGu0Ko">rational functions</a> in the indeterminate x with coefficients in the <a href="/facts/Finite_field/UkMGJo3m">finite field</a> 
 
 
 
 
 
 F
 
 
 p
 
 
 =
 
 Z
 
 
 /
 
 (
 p
 )
 
 
 {\displaystyle \mathbb {F} _{p}=\mathbb {Z} /(p)}
 
. The element 
 
 
 
 x
 ∈
 E
 
 
 {\displaystyle x\in E}
 
 has minimal polynomial 
 
 
 
 f
 (
 X
 )
 =
 
 X
 
 p
 
 
 −
 
 x
 
 p
 
 
 ∈
 F
 [
 X
 ]
 
 
 {\displaystyle f(X)=X^{p}-x^{p}\in F[X]}
 
, having 
 
 
 
 
 f
 ′
 
 (
 X
 )
 =
 0
 
 
 {\displaystyle f'(X)=0}
 
 and a p-fold multiple root, as 
 
 
 
 f
 (
 X
 )
 =
 (
 X
 −
 x
 
 )
 
 p
 
 
 ∈
 E
 [
 X
 ]
 
 
 {\displaystyle f(X)=(X-x)^{p}\in E[X]}
 
. This is a <a href="/facts/Simple_field_extension/xegn8Bpl">simple</a> algebraic extension of degree p, as 
 
 
 
 E
 =
 F
 [
 x
 ]
 
 
 {\displaystyle E=F[x]}
 
, but it is not a normal extension since the <a href="/facts/Galois_group/A0p35p5c">Galois group</a> 
 
 
 
 
 Gal
 
 (
 E
 
 /
 
 F
 )
 
 
 {\displaystyle {\text{Gal}}(E/F)}
 
 is <a href="/facts/Trivial_group/XPjQkQFm">trivial</a>.

Separable extension open-in-new

Separable extension