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

Aus Wikiversity

Genau dann ist eine Einheit modulo (d.h. repräsentiert eine Einheit in ), wenn und teilerfremd sind.