Endliche Galoiserweiterung/Korrespondenz von Körpern und Gruppen/Fakt
Erscheinungsbild
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.