Field is Galois over Fixed Field of Automorphism Group

From ProofWiki
Jump to navigation Jump to search


Let $E/F$ be a finite field extension.

Let $K = \operatorname{Fix}_E(\operatorname{Aut}(E/F))$ be the fixed field of the automorphism group of $E/F$.

Then $E/K$ is Galois.


Follows from Closed Fields in Galois Connection for Field Extension (and does not use Fundamental Theorem of Galois Theory).