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:
“If any proof were needed of the progress of the cause for which I have worked, it is here tonight. The presence on the stage of these college women, and in the audience of all those college girls who will some day be the nation’s greatest strength, will tell their own story to the world.”
—Susan B. Anthony (1820–1906)
“If any doubt has arisen as to me, my country [Virginia] will have my political creed in the form of a “Declaration &c.” which I was lately directed to draw. This will give decisive proof that my own sentiment concurred with the vote they instructed us to give.”
—Thomas Jefferson (1743–1826)
“The source of Pyrrhonism comes from failing to distinguish between a demonstration, a proof and a probability. A demonstration supposes that the contradictory idea is impossible; a proof of fact is where all the reasons lead to belief, without there being any pretext for doubt; a probability is where the reasons for belief are stronger than those for doubting.”
—Andrew Michael Ramsay (1686–1743)