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