Endliche Galois-Erweiterung/Über Automorphismenanzahl/Definition

Galoiserweiterung

Es sei  $K\subseteq L$  eine endliche Körpererweiterung. Sie heißt eine Galoiserweiterung, wenn

$\mathrm{\#}(\mathrm{Gal}(L/K))={\mathrm{grad}}_{K}L$

gilt.