Fundamental theorem of Galois theory
= 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.