Restklassenringe von Z/Ringhomomorphismus/Fakt

Es sei ${}d\geq 0$ eine natürliche Zahl.

Dann gibt es eine eindeutig bestimmte Ringstruktur auf ${}\mathbb {Z} /(d)$ derart, dass die Restklassenabbildung

$\mathbb {Z} \longrightarrow \mathbb {Z} /(d),\,a\longmapsto {\overline {a}}\,,$

ein Ringhomomorphismus ist.

${}\mathbb {Z} /(d)$ ist ein kommutativer Ring mit ${}d$ Elementen (bei $d\geq 1$).

Einen Beweis erstellen