Endliche Körpererweiterung/Endliche Galoisgruppe/Fakt

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung.

Dann ist die Galoisgruppe ${}\operatorname {Gal} \,(L{|}K)$ endlich.

Zum Beweis, Alternativen Beweis erstellen