Körpererweiterung/Separabel/Definition

Separabel

Eine Körpererweiterung ${}K\subseteq L$ heißt separabel, wenn jeder Zwischenkörper ${}K\subseteq M\subseteq L$, der über ${}K$ endlich erzeugt ist, über ${}K$ separabel erzeugt ist.