Endliche Galois-Erweiterung/Über Automorphismenanzahl/Definition

Galoiserweiterung

Es sei eine endliche Körpererweiterung. Sie heißt eine Galoiserweiterung, wenn

gilt.