Chinesischer Restsatz/Einheiten/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .

Zum Beweis, Alternativen Beweis erstellen