Endliche Galois-Erweiterung/Über Automorphismenanzahl/Definition/Begriff