Restklassenringe (Z)/Chinesischer Restsatz/Fakt/Name/Inhalt

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

${}\mathbb {Z} /(n)\cong \mathbb {Z} /(p_{1}^{r_{1}})\times \mathbb {Z} /(p_{2}^{r_{2}})\times \cdots \times \mathbb {Z} /(p_{k}^{r_{k}})\,.$