Sei ${\displaystyle {}K\subseteq L}$ eine endliche Körpererweiterung. Sie heißt separabel, wenn für jedes Element ${\displaystyle {}x\in L}$ das Minimalpolynom separabel ist, also in keinem Erweiterungskörper eine mehrfache Nullstelle besitzt.