• Source: Galois 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 by the automorphism group Aut(E/F) is precisely the base field F. The significance of being a Galois extension is that the extension has a Galois group and obeys the fundamental theorem of Galois theory.
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 with fixed field F, then E/F is a Galois extension.
The property of an extension being Galois behaves well with respect to field composition and intersection.




Characterization of Galois extensions


An important theorem of Emil Artin states that for a finite extension



E

/

F
,


{\displaystyle E/F,}

each of the following statements is equivalent to the statement that



E

/

F


{\displaystyle E/F}

is Galois:




E

/

F


{\displaystyle E/F}

is a normal extension and a separable extension.




E


{\displaystyle E}

is a splitting field of a separable polynomial with coefficients in



F
.


{\displaystyle F.}






|


Aut
⁡
(
E

/

F
)

|

=
[
E
:
F
]
,


{\displaystyle |\!\operatorname {Aut} (E/F)|=[E:F],}

that is, the number of automorphisms equals the degree of the extension.
Other equivalent statements are:

Every irreducible polynomial in



F
[
x
]


{\displaystyle F[x]}

with at least one root in



E


{\displaystyle E}

splits over



E


{\displaystyle E}

and is separable.





|


Aut
⁡
(
E

/

F
)

|

≥
[
E
:
F
]
,


{\displaystyle |\!\operatorname {Aut} (E/F)|\geq [E:F],}

that is, the number of automorphisms is at least the degree of the extension.




F


{\displaystyle F}

is the fixed field of a subgroup of



Aut
⁡
(
E
)
.


{\displaystyle \operatorname {Aut} (E).}





F


{\displaystyle F}

is the fixed field of



Aut
⁡
(
E

/

F
)
.


{\displaystyle \operatorname {Aut} (E/F).}


There is a one-to-one correspondence between subfields of



E

/

F


{\displaystyle E/F}

and subgroups of



Aut
⁡
(
E

/

F
)
.


{\displaystyle \operatorname {Aut} (E/F).}


An infinite field extension



E

/

F


{\displaystyle E/F}

is Galois if and only if



E


{\displaystyle E}

is the union of finite Galois subextensions




E

i



/

F


{\displaystyle E_{i}/F}

indexed by an (infinite) index set



I


{\displaystyle I}

, i.e.



E
=

⋃

i
∈
I



E

i




{\displaystyle E=\bigcup _{i\in I}E_{i}}

and the Galois group is an inverse limit



Aut
⁡
(
E

/

F
)
=



lim
←



i
∈
I


⁡

Aut
⁡
(

E

i



/

F
)



{\displaystyle \operatorname {Aut} (E/F)=\varprojlim _{i\in I}{\operatorname {Aut} (E_{i}/F)}}

where the inverse system is ordered by field inclusion




E

i


⊂

E

j




{\displaystyle E_{i}\subset E_{j}}

.




Examples


There are two basic ways to construct examples of Galois extensions.

Take any field



E


{\displaystyle E}

, any finite subgroup of



Aut
⁡
(
E
)


{\displaystyle \operatorname {Aut} (E)}

, and let



F


{\displaystyle F}

be the fixed field.
Take any field



F


{\displaystyle F}

, any separable polynomial in



F
[
x
]


{\displaystyle F[x]}

, and let



E


{\displaystyle E}

be its splitting field.
Adjoining to the rational number field the square root of 2 gives a Galois extension, while adjoining the cubic root of 2 gives a non-Galois extension. Both these extensions are separable, because they have characteristic zero. The first of them is the splitting field of




x

2


−
2


{\displaystyle x^{2}-2}

; the second has normal closure that includes the complex cubic roots of unity, and so is not a splitting field. In fact, it has no automorphism other than the identity, because it is contained in the real numbers and




x

3


−
2


{\displaystyle x^{3}-2}

has just one real root. For more detailed examples, see the page on the fundamental theorem of Galois theory.
An algebraic closure






K
¯





{\displaystyle {\bar {K}}}

of an arbitrary field



K


{\displaystyle K}

is Galois over



K


{\displaystyle K}

if and only if



K


{\displaystyle K}

is a perfect field.




Notes






Citations






References






Further reading

Kata Kunci Pencarian:

• Grup Galois
• Ekstensi bidang
• Teorema dasar aljabar
• Daftar masalah matematika yang belum terpecahkan
• Ideal (teori gelanggang)
• Ruang vektor
• Galois extension
• Galois group
• Fundamental theorem of Galois theory
• Abelian extension
• Splitting of prime ideals in Galois extensions
• Field extension
• Galois representation
• Inverse Galois problem
• Normal extension
• Galois theory