Fundamental theorem of Galois theory (source code)

= Fundamental theorem of Galois theory
{c}
{wiki}

For a finite <Galois extension> $L/K$, intermediate fields correspond inclusion-reversingly to subgroups of $\operatorname{Gal}(L/K)$. Normal subgroups correspond to Galois intermediate extensions.