Restklassenring (Z)/Einheit/Charakterisierung/Teilerfremd/Fakt
Genau dann ist eine Einheit modulo (d.h. repräsentiert eine Einheit in ), wenn und teilerfremd sind.
Genau dann ist
eine
Einheit
modulo
(d.h.
repräsentiert eine Einheit in
),
wenn
und
teilerfremd
sind.