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)} .
Dann ist bis auf endlich viele Primzahlen p {\displaystyle {}p} der Ring R Z ∖ ( p ) = Z ( p ) [ X ] / ( F ) {\displaystyle {}R_{\mathbb {Z} \setminus (p)}=\mathbb {Z} _{(p)}[X]/(F)} normal.
![{\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 {}R_{\mathbb {Z} \setminus (p)}=\mathbb {Z} _{(p)}[X]/(F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c0fef40638db520b4a29f4aee6785fdf2f78b67)