Eine Körpererweiterung ${\displaystyle {}K\subseteq L}$ heißt normal, wenn es zu jedem ${\displaystyle {}x\in L}$ ein Polynom ${\displaystyle {}F\in K[X]}$, ${\displaystyle {}F\neq 0}$, mit ${\displaystyle {}F(x)=0}$ gibt, das über ${\displaystyle {}L}$ zerfällt.