\begin{definition}[Definition:Galois Extension/Finite/Definition 1]
$L/K$ is a '''Galois extension''' {{Iff}} the [[Definition:Fixed Field|fixed field]] of its [[Definition:Automorphism Group of Field Extension|automorphism group]] is $K$:
:$\operatorname{Fix}_L(\operatorname{Gal}(L/K)) = K$
\end{definition}
{"config": "wiki", "file": "def_27893.txt"}