Galois extension

Galois extension

In mathematics, a Galois extension is an algebraic field extension "E"/"F" satisfying certain conditions (described below); one also says that the extension is Galois. The significance of being a Galois extension is that the extension has a Galois group and obeys the fundamental theorem of Galois theory.

The definition is as follows. An extension is Galois if it is normal and separable. Equivalently, the extension "E"/"F" is Galois if and only if it is algebraic, and the field fixed by the automorphism group Aut("E"/"F") is precisely the base field "F". (See the article Galois group for definitions of some of these terms and some examples.)

A result of Emil Artin allows one to construct Galois extensions as follows. If "E" is a given field, and "G" is a finite group of automorphisms of "E", then "E"/"F" is a Galois extension, where "F" is the fixed field of "G".

Characterization of Galois extensions

An important theorem of Emil Artin states that for a finite extension "E"/"F", each of the following statements is equivalent to the statement that "E"/"F" is Galois:
* "E"/"F" is a normal extension and a separable extension.
* "E" is the splitting field of a separable polynomial with coefficients in "F".
* [E:F] = |Aut(E/F)|; that is, the degree of the field extension is equal to the order of the automorphism group of E/F.


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Galois module — In mathematics, a Galois module is a G module where G is the Galois group of some extension of fields. The term Galois representation is frequently used when the G module is a vector space over a field or a free module over a ring, but can also… …   Wikipedia

  • Galois group — In mathematics, a Galois group is a group associated with a certain type of field extension. The study of field extensions (and polynomials which give rise to them) via Galois groups is called Galois theory. The name is for Évariste Galois.For a… …   Wikipedia

  • Extension (mathematics) — In mathematics, the word extension has many uses. See:Analysis* Carathéodory s extension theorem * Continuous linear extension * M. Riesz extension theorem * Krein extension theorem * Hahn Banach theoremAlgebra* Abelian extension * Algebraic… …   Wikipedia

  • 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 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 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

  • Extension algebrique — 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 …   Wikipédia en Français

  • 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

Share the article and excerpts

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