Endliche separable Körpererweiterung/Separabel/D.h./Definition

Separable Körpererweiterung

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