Hauptidealbereich/Restklassenring/Chinesischer Restsatz/Fakt/Beweis

Beweis

Wegen ${}p_{i}^{r_{i}}{|}f$ gelten die Idealinklusionen ${}(f)\subseteq (p_{i}^{r_{i}})$ und daher gibt es kanonische Ringhomomorphismen

$R/(f)\longrightarrow R/(p_{i}^{r_{i}}).$

Diese setzen sich zu einem Ringhomomorphismus in den Produktring zusammen, nämlich

$R/(f)\longrightarrow R/(p_{1}^{r_{1}})\times \cdots \times R/(p_{k}^{r_{k}}),\,a\longmapsto (a\mod p_{1}^{r_{1}},\ldots ,a\mod p_{k}^{r_{k}}).$

Wir müssen zeigen, dass dieser bijektiv ist. Zur Injektivität sei ${}a\in R$ derart, dass es in jeder Komponente auf ${}0$ abgebildet wird. Das bedeutet ${}a\in (p_{i}^{r_{i}})$ für alle ${}i$. D.h. ${}a$ ist ein Vielfaches dieser ${}p_{i}^{r_{i}}$ und aufgrund der Primfaktorzerlegung folgt, dass ${}a$ ein Vielfaches von ${}f$ sein muss. Also ist ${}{\overline {a}}\,=0$ in ${}R/(f)$.
Zur Surjektivität genügt es zu zeigen, dass alle Elemente, die in einer Komponente den Wert ${}1$ und in allen anderen Komponenten den Wert ${}0$ haben, im Bild liegen. Es sei also ${}(1,0,\ldots ,0)$ vorgegeben. Wegen der Eindeutigkeit der Primfaktorzerlegung sind ${}p_{1}^{r_{1}}$ und ${}p_{2}^{r_{2}}{\cdots }p_{k}^{r_{k}}$ teilerfremd. Daher gibt es nach dem Lemma von Bezout eine Darstellung der Eins, sagen wir

${}sp_{1}^{r_{1}}+tp_{2}^{r_{2}}\cdots p_{k}^{r_{k}}=1\,.$

Betrachten wir ${}tp_{2}^{r_{2}}{\cdots }p_{k}^{r_{k}}=1-sp_{1}^{r_{1}}\in R$. Das wird unter der Restklassenabbildung in der ersten Komponente auf ${}1$ und in den übrigen Komponenten auf ${}0$ abgebildet, wie gewünscht.

Zur bewiesenen Aussage