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

Eine (endliche) Galoiserweiterung ${}K\subseteq L$.