Endliche Galoiserweiterung/Galois über Zwischenkörper/Fakt/Beweis

Beweis

Nach Fakt  (3) ist ${}M\subseteq L$ eine normale Körpererweiterung. Nach Fakt ist sie auch separabel. Somit handelt es sich aufgrund von Fakt um eine Galoiserweiterung.

Zur bewiesenen Aussage