Definition:Galois Extension/Finite/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $L/K$ be a finite field extension.


$L/K$ is a Galois extension if and only if the fixed field of its automorphism group is $K$:

$\operatorname{Fix}_L(\operatorname{Gal}(L/K)) = K$


Also see