 Artin fixed-field theorem

If a finite group $G$ acts faithfully by automorphisms on a field $L$, then $L/L^G$ is Galois, has degree $|G|$, and has Galois group $G$.