Definition 14.8
Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 14 Endliche Galois-Erweiterung/Über Automorphismenanzahl/Definition