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

Aus Wikiversity
Satz über die Galoiskorrespondenz

Es sei eine endliche Galoiserweiterung mit der Galoisgruppe .

Dann sind die Zuordnungen

zueinander inverse Abbildungen zwischen der Menge der Zwischenkörper , , und der Menge der Untergruppen von .

Bei dieser Korrespondenz werden die Inklusionen umgekehrt.