Endliche Galoiserweiterung/Charakterisierung/Fakt/Beweis

Beweis

Zum Beweis der Implikation von (1) nach (2) betrachten wir die Körperkette . Nach der Gradformel und da eine Galoiserweiterung vorliegt ist

Nach dem Satz von Artin ist , also ist .
Die Implikation von (2) nach (3) folgt aus Fakt.
Die Äquivalenz von (3) und (4) ergibt sich sofort aus Fakt.
Es sei nun (3) erfüllt. Wir schreiben . Die Minimalpolynome der zerfallen wegen der Normalität in in Linearfaktoren. Daher können wir Fakt mit anwenden und erhalten Einbettungen von nach (über ), und somit besitzt die Galoisgruppe Elemente.