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 moment a man begins to talk about technique that’s proof that he is fresh out of ideas.”
—Raymond Chandler (1888–1959)
“The proof of a poet is that his country absorbs him as affectionately as he has absorbed it.”
—Walt Whitman (1819–1892)
“From whichever angle one looks at it, the application of racial theories remains a striking proof of the lowered demands of public opinion upon the purity of critical judgment.”
—Johan Huizinga (1872–1945)