Restklassenring (Z)/Einheit/Charakterisierung/Teilerfremd/Fakt/Beweis/Aufgabe

Es sei ${}n\in \mathbb {N}$ und ${}\mathbb {Z} /(n)$ der zugehörige Restklassenring. Zeige, dass ${}a\in \mathbb {Z}$ eine Einheit modulo ${}n$ genau dann ist, wenn ${}a$ und ${}n$ teilerfremd sind.

Zur Lösung, Alternative Lösung erstellen