Proof
The proof of the fundamental theorem is not trivial. The crux in the usual treatment is a rather delicate result of Emil Artin which allows one to control the dimension of the intermediate field fixed by a given group of automorphisms. The automorphisms of a Galois extension K/F are linearly independent as functions over the field K. The proof of this fact follows from a more general notion, namely, the linear independence of characters.
There is also a fairly simple proof using the primitive element theorem. This proof seems to be ignored by most modern treatments, possibly because it requires a separate (but easier) proof in the case of finite fields.
In terms of its abstract structure, there is a Galois connection; most of its properties are fairly formal, but the actual isomorphism of the posets requires some work.
Read more about this topic: Fundamental Theorem Of Galois Theory
Famous quotes containing the word proof:
“The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
—Charles Baudelaire (1821–1867)
“If some books are deemed most baneful and their sale forbid, how, then, with deadlier facts, not dreams of doting men? Those whom books will hurt will not be proof against events. Events, not books, should be forbid.”
—Herman Melville (1819–1891)
“The proof of a poet is that his country absorbs him as affectionately as he has absorbed it.”
—Walt Whitman (1819–1892)