Galois group (source code)

= Galois group
{c}
{title2=$\operatorname{Gal}(L/K)$}
{wiki}

The Galois group $\operatorname{Gal}(L/K)$ consists of the field automorphisms of $L$ that fix $K$ pointwise. For a finite Galois extension, its order is $[L:K]$.