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

Aus Wikiversity

Es sei und der zugehörige Restklassenring. Zeige, dass eine Einheit modulo genau dann ist, wenn und teilerfremd sind.