Endliche Körpererweiterung/Separabler Zwischenkörper/Fakt

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

Dann gibt es einen Zwischenkörper

${}K\subseteq S\subseteq L\,$

derart, dass ${}K\subseteq S$ separabel und ${}S\subseteq L$ rein-inseparabel ist.

Einen Beweis erstellen