Restklassenring (Z)/Einheitengruppe/Primzahlpotenzreduktion/Surjektiv/Fakt/Beweis

Beweis

Es sei ${}a\in \mathbb {Z} /(p)^{\times }$ eine Einheit. Dann ist ${}a$ teilerfremd zu ${}p$ und damit kein Vielfaches von ${}p$. Wir fassen ${}a$ als Element in ${}\mathbb {Z} /(p^{r})$ auf. Da ${}a$ nach wie vor kein Vielfaches von ${}p$ ist, ist es auch in ${}\mathbb {Z} /(p^{r})$ eine Einheit, und zugleich ein Urbild von ${}a\in \mathbb {Z} /(p)^{\times }$.

Zur bewiesenen Aussage