Es sei K {\displaystyle {}K} ein Körper und P ∈ K [ X ] {\displaystyle {}P\in K[X]} ein separables Polynom.