fundamental theorem of Galois theory
Let be a Galois extension of finite degree,with Galois group
.There is a bijective
, inclusion-reversing correspondencebetween 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 |