Satz 16.1
Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Vorlesung 16 Endliche Galoiserweiterung/Korrespondenz von Körpern und Gruppen/Fakt