Separable extension

Separable extension

In mathematics, an algebraic field extension "L"/"K" is separable if it can be generated by adjoining to "K" a set each of whose elements is a root of a separable polynomial over "K". In that case, each β in "L" has a separable minimal polynomial over "K".

The condition of separability is central in Galois theory. A perfect field is one for which all finite (equivalently, algebraic) extensions are separable. There exists a simple criterion for perfectness: a field "F" is perfect if and only if

*"F" has characteristic 0, or
*"F" has a nonzero characteristic "p", and every element of "F" has a "p"-th root in "F".

Equivalently, the second condition says that the Frobenius endomorphism of "F", xmapsto x^p, is an automorphism.

In particular, all fields of characteristic 0 and all finite fields are perfect. This means that the separability condition can be assumed in many contexts. The effects of inseparability (necessarily for infinite "K" of characteristic "p") can be seen in the primitive element theorem, and for the tensor product of fields.

Given a finite extension "L"/"K" of fields, there is a largest subfield "M" of "L" containing "K" such that "M" is a separable extension of "K". When "M" = "K" the extension "L"/"K" is called a purely inseparable extension. In general an algebraic extension factors as a purely inseparable extension of a separable extension, since the compositum of a family of separable extensions is again separable.

Purely inseparable extensions do occur for quite natural reasons, for example in algebraic geometry in characteristic "p". If "K" is a field of characteristic "p", and "V" an algebraic variety over "K" of dimension > 0, consider the function field "K"("V") and its subfield "K"("V")"p" of "p"-th powers. This is always a purely inseparable extension. Such extensions occur as soon as one looks at multiplication by "p" on an elliptic curve over a finite field of characteristic "p".

In dealing with non-perfect fields "K", one introduces the separable closure "K"sep inside an algebraic closure, which is the largest separable subextension of "K"alg/"K". Then Galois theory can be carried out inside "K"sep.

References

*cite book|last=Hungerford |first=Thomas |title=Algebra |year=1974 |publisher=Springer |id=ISBN 0-387-90518-9
* | year=2002 | volume=211
*cite book |last=Silverman |first=Joeseph |title=The Arithmetic of Elliptic Curves |year=1993 |publisher=Springer |id=ISBN 0-387-96203-4


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Extension Séparable — Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important de la théorie de… …   Wikipédia en Français

  • Extension separable — Extension séparable Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important …   Wikipédia en Français

  • Extension De Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension de galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension galoisienne — Extension de Galois En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de …   Wikipédia en Français

  • Extension Simple — En mathématiques et plus précisément en algèbre dans le cas de la théorie de Galois, une extension de corps L d un corps K est dite simple si et seulement s il existe un élément l de L tel que L est égal à K[l]. Une extension simple est finie si… …   Wikipédia en Français

  • Extension Quadratique — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension quadratique est une extension de corps de dimension deux. Si K est un corps commutatif, souvent celui des nombres rationnels, alors une… …   Wikipédia en Français

  • Extension Normale — En mathématiques, une extension normale L de K est un cas particulier d extension de corps. Une extension est dite normale si et seulement si tout morphisme de corps laissant invariant K est un automorphisme de L. Cette propriété est utilisée… …   Wikipédia en Français

  • Extension De Corps — En mathématiques, plus particulièrement en algèbre, l extension d un corps K est un corps L qui contient K comme sous corps. Par exemple, , le corps des nombres complexes, est une extension de , le corps des nombres réels, lequel est lui même un… …   Wikipédia en Français

  • Extension Algébrique — En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est à dire sont racines d un polynôme non nul à coefficients dans… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”