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

Genau dann ist  $a\in \mathbb{Z}$  eine Einheit modulo $n$ (d.h. $a$ repräsentiert eine Einheit in $\mathbb{Z}/(n)$), wenn $a$ und $n$ teilerfremd sind.

Beweis 1, 2, Alternativen Beweis erstellen