Extensió de Galois

En matemàtiques, en àlgebra abstracta, una extensió de Galois és una extensió de cos algebraica $E / F$ que és normal i separable;Plantilla:Sfn o de manera equivalent, $E / F$ és algebraica i el camp fixat pel grup d'automorfismes $Aut (E / F)$ és precisament el cos base $F$ .

La importància de ser una extensió de Galois és que l'extensió té un grup de Galois i obeeix al teorema fonamental de la teoria de Galois.Plantilla:Efn

Un resultat de Emil Artin permet construir extensions de Galois de la següent manera: si $E$ és un cos donat, i G és un grup finit d'automorfismes de $E$ amb camp fix $F$ , llavors $E / F$ és una extensió de Galois.Plantilla:Sfn

Caracterització de les extensions de Galois

Un teorema important d'Emil Artin afirma que per a una extensió finita $E / F,$ cadascuna de les afirmacions següents és equivalent a l'enunciat que $E / F$ és Galois:

$E / F$ és una extensió normal i una extensió separable.
$E$ és un cos de descomposició d'un polinomi separable amb coeficients en $F .$
$| Aut (E / F) | = [E : F],$ és a dir, el nombre d'automorfismes és igual al grau de l'extensió.

Altres declaracions equivalents són:

Tots els polinomis irreductibles a $F [x]$ amb almenys una arrel a $E$ es divideixen en $E$ i són separables.
$| Aut (E / F) | \geq [E : F],$ és a dir, el nombre d'automorfismes és almenys el grau d'extensió.
$F$ és el cos fix d'un subgrup de $Aut (E) .$
$F$ és el cos fix de $Aut (E / F) .$
Hi ha un correspondència un a un entre subcossos de $E / F$ i subgrups de $Aut (E / F) .$

Exemples

Hi ha dues maneres bàsiques de construir exemples d'extensions de Galois.

Agafeu qualsevol cos $E$ , qualsevol subgrup de $Aut (E)$ , i deixeu que $F$ sigui el cos fix.
Agafeu qualsevol cos $F$ , qualsevol polinomi separable a $F [x]$ , i deixeu que $E$ sigui el seu cos de descomposició.

Afegint al cos de nombres racionals l'arrel quadrada de 2 dona una extensió de Galois, mentre que afegintr l'arrel cúbica de 2 dona una extensió que no és Galois. Aquestes dues extensions són separables, perquè tenen característica zero. El primer d'ells és el cos de divisió de $x^{2} - 2$ ; el segon té tancament normal que inclou el complex arrel cúbica d'unitat i, per tant, no és un cos de descomposició. De fet, no té cap automorfisme més que la identitat, perquè està contingut en els nombres reals i $x^{3} - 2$ només té una arrel real.