Endliche Galoiserweiterung/Galois über Zwischenkörper/Fakt/Beweis
Erscheinungsbild
Beweis
Nach Fakt (3) ist eine normale Körpererweiterung. Nach Fakt ist sie auch separabel. Somit handelt es sich aufgrund von Fakt um eine Galoiserweiterung.