 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$.

This theorem constructs a Galois extension from a finite group of field automorphisms; it is not an alternative name for the extension itself.