 Fundamental theorem of Galois theory

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