Chinesischer Restsatz/Einheiten/Fakt
Es sei eine positive natürliche Zahl mit kanonischer Primfaktorzerlegung (die seien also verschieden und ).
Dann gibt es einen kanonischen Gruppenisomorphismus
Insbesondere ist eine Zahl genau dann eine Einheit modulo , wenn sie eine Einheit modulo ist für .