Restklassenringe (Z)/Chinesischer Restsatz/Fakt/Beweis

Beweis

Da die Ringe links und rechts beide endlich sind und die gleiche Anzahl von Elementen haben, nämlich ${}n$, genügt es, die Injektivität zu zeigen. Es sei ${}x$ eine natürliche Zahl, die im Produktring (rechts) zu ${}0$ wird, also modulo ${}p_{i}^{r_{i}}$ den Rest ${}0$ hat für alle ${}i=1,2,\ldots ,k$. Dann ist ${}x$ ein Vielfaches von ${}p_{i}^{r_{i}}$ für alle ${}i=1,2,\ldots ,k$, d.h. in der Primfaktorzerlegung von ${}x$ muss ${}p_{i}$ zumindest mit den Exponenten ${}r_{i}$ vorkommen. Also muss ${}x$ nach Fakt ein Vielfaches des Produktes sein, also ein Vielfaches von ${}n$. Damit ist ${}x=0$ in ${}\mathbb {Z} /(n)$ und die Abbildung ist injektiv.

Zur bewiesenen Aussage