fundamental theorem of Galois theory
Let L/F be a Galois extension of finite degree,
with Galois group
G:=.
There is a bijective
, inclusion-reversing correspondence
between subgroups
of and extensions
of contained in , given by
-
•
, for any field with .
-
•
(the fixed field of in ), for any subgroup .
The extension is normal if and only if is a normal subgroup of ,
and in this case the homomorphism
given by
induces (via the first isomorphism theorem
)
a natural identification
between the Galois group of and the quotient group
.
For the case of Galois extensions of infinite degree,
see the entry on infinite Galois theory.
Title | fundamental theorem of Galois theory![]() |
Canonical name | FundamentalTheoremOfGaloisTheory |
Date of creation | 2013-03-22 12:08:31 |
Last modified on | 2013-03-22 12:08:31 |
Owner | yark (2760) |
Last modified by | yark (2760) |
Numerical id | 9 |
Author | yark (2760) |
Entry type | Theorem |
Classification | msc 11S20 |
Classification | msc 11R32 |
Classification | msc 12F10 |
Classification | msc 13B05 |
Synonym | Galois theory |
Synonym | Galois correspondence |
Related topic | GaloisTheoreticDerivationOfTheCubicFormula |
Related topic | GaloisTheoreticDerivationOfTheQuarticFormula |
Related topic | InfiniteGaloisTheory |
Related topic | GaloisGroup |