Es sei F ∈ Z [ X ] {\displaystyle {}F\in \mathbb {Z} [X]} ein normiertes irreduzibles Polynom, R = Z [ X ] / ( F ) {\displaystyle {}R=\mathbb {Z} [X]/(F)} und sei p {\displaystyle {}p} eine Primzahl derart, dass in Z / ( p ) [ X ] {\displaystyle {}\mathbb {Z} /(p)[X]} die Zerlegung
mit irreduziblen Polynomen F j {\displaystyle {}F_{j}} gelte.
Dann gilt in R {\displaystyle {}R} die Gleichheit
![{\displaystyle {}F\in \mathbb {Z} [X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f5533c255a24b4bf3f66ef8bc804afad97ba327)
![{\displaystyle {}R=\mathbb {Z} [X]/(F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f904cf118542b03fc95974b2d99bd846a9737cba)
![{\displaystyle {}\mathbb {Z} /(p)[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa91a5bfd911769c2c190f03a767d15f5f376af4)
