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