Es sei K {\displaystyle {}K} ein Körper, P ∈ K [ X ] {\displaystyle {}P\in K[X]} ein irreduzibles Polynom und K ⊆ L = K [ X ] / ( P ) {\displaystyle {}K\subseteq L=K[X]/(P)} die zugehörige Körpererweiterung
![{\displaystyle {}P\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4692e3ffcbd66e900f8975113ff3f32f1cabc21a)
![{\displaystyle {}K\subseteq L=K[X]/(P)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c6d31489e25c679443d36b96c92aab2dc089994)