Z/Normiertes Polynom/Faserring/Faktorzerlegung/Idealprodukt/Fakt
Es sei ein normiertes irreduzibles Polynom, und sei eine Primzahl derart, dass in die Zerlegung
mit irreduziblen Polynomen gelte.
Dann gilt in die Gleichheit
Es sei
![{\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)
mit irreduziblen Polynomen 
Dann gilt in 
