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