Endliche Galoiserweiterung/Korrespondenz von Körpern und Gruppen/Fakt/Name/Inhalt

Es sei  ${}K\subseteq L$  eine endliche Galoiserweiterung mit der Galoisgruppe  ${}G=\operatorname {Gal} \,(L{|}K)$.  Dann sind die Zuordnungen

$M\longmapsto \operatorname {Gal} \,(L{|}M){\text{ und }}H\longmapsto \operatorname {Fix} \,(H)$

zueinander inverse Abbildungen zwischen der Menge der Zwischenkörper ${}M$, ${}K\subseteq M\subseteq L$, und der Menge der Untergruppen von ${}G$.