PlanetMath: fundamental theorem of Galois theory

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (210)
Orphanage
Unclass'd (1)
Unproven (473)
Corrections (37)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

fundamental theorem of Galois theory

(Theorem)

Let be a Galois extension of finite degree, with Galois group $G := \operatorname{Gal}(L/F)$ . There is a bijective, inclusion-reversing correspondence between subgroups of and extensions of contained in , given by

$K \mapsto \operatorname{Gal}(L/K)$ , for any field with $F \subseteq K \subseteq L$ .
$H \mapsto L^H$ (the fixed field of in ), for any subgroup $H \leq G$ .

The extension

is normal if and only if

is a normal subgroup of

, and in this case the homomorphism $G \longrightarrow \operatorname{Gal}(L^H/F)$ given by $\sigma \mapsto \sigma\vert _{L^H}$ induces (via the first isomorphism theorem) a natural identification $\operatorname{Gal}(L^H/F) = G/H$ 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.

"fundamental theorem of Galois theory" is owned by yark. [ full author list (2) | owner history (1) ]

(view preamble)

Other names:

Galois theory, Galois correspondence

Attachments:: proof of fundamental theorem of Galois theory (Proof) by pbruin

Log in to rate this entry.
(view current ratings)

Cross-references: infinite Galois theory, quotient group, first isomorphism theorem, homomorphism, normal subgroup, normal, fixed field, field, contained, extensions, subgroups, bijective, Galois group, degree, Galois extension
There are 23 references to this entry.

This is version 5 of fundamental theorem of Galois theory, born on 2002-01-05, modified 2007-07-04.
Object id is 1327, canonical name is FundamentalTheoremOfGaloisTheory.
Accessed 12143 times total.

Classification:

AMS MSC:	12F10 (Field theory and polynomials :: Field extensions :: Separable extensions, Galois theory)
	11R32 (Number theory :: Algebraic number theory: global fields :: Galois theory)
	11S20 (Number theory :: Algebraic number theory: local and $p$-adic fields :: Galois theory)
	13B05 (Commutative rings and algebras :: Ring extensions and related topics :: Galois theory)

Pending Errata and Addenda

None.[ View all 2 ]

Discussion

forum policy

No messages.

Interact