Finite Galois extension (source code)

= Finite Galois extension
{c}

= Galois extension
{c}
{synonym}

= Galois
{c}
{synonym}

A finite extension $L/K$ is Galois when it has $[L:K]$ automorphisms fixing $K$.