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