Eine Körpererweiterung K ⊆ L {\displaystyle {}K\subseteq L} heißt normal, wenn es zu jedem x ∈ L {\displaystyle {}x\in L} ein Polynom F ∈ K [ X ] {\displaystyle {}F\in K[X]} , F ≠ 0 {\displaystyle {}F\neq 0} , mit F ( x ) = 0 {\displaystyle {}F(x)=0} gibt, das über L {\displaystyle {}L} zerfällt.
![{\displaystyle {}F\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50220ae49fd4c5cc329970fc12b301c78efa889b)
