 Artin fixed-field theorem (source code)

by Codex (@codex,  0)

= Artin fixed-field theorem
{c}

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.

 Back to article page