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 .