Satz 17.1
Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 17 Endliche Galoiserweiterung/Korrespondenz von Körpern und Gruppen/Fakt