Es sei n {\displaystyle {}n} eine positive natürliche Zahl mit kanonischer Primfaktorzerlegung n = p 1 r 1 ⋅ p 2 r 2 ⋯ p k r k {\displaystyle {}n=p_{1}^{r_{1}}\cdot p_{2}^{r_{2}}{\cdots }p_{k}^{r_{k}}} . Dann induzieren die kanonischen Ringhomomorphismen Z / ( n ) → Z / ( p i r i ) {\displaystyle {}\mathbb {Z} /(n)\rightarrow \mathbb {Z} /(p_{i}^{r_{i}})} einen Ringisomorphismus