Chinesischer Restsatz/Z/Textabschnitt
Es sei eine positive natürliche Zahl mit kanonischer Primfaktorzerlegung
(die seien also verschieden und ).
Dann induzieren die kanonischen Ringhomomorphismen einen Ringisomorphismus
Zu gegebenen ganzen Zahlen gibt es also genau eine natürliche Zahl , die die simultanen Kongruenzen
löst.
Dies folgt unmittelbar aus Fakt.
Beweisvariante
Da die Ringe links und rechts beide endlich sind und die gleiche Anzahl von Elementen haben, nämlich , genügt es, die Injektivität zu zeigen. Es sei eine natürliche Zahl, die im Produktring (rechts) zu wird, also modulo den Rest hat für alle . Dann ist ein Vielfaches von für alle , d.h. in der Primfaktorzerlegung von muss zumindest mit dem Exponenten vorkommen. Also muss nach Fakt ein Vielfaches des Produktes sein, also ein Vielfaches von . Damit ist in und die Abbildung ist injektiv.
Unter den Basislösungen zu einer simultanen Kongruenz versteht man die kleinsten natürlichen Zahlen, die modulo den vorgegebenen Zahlen ein Restetupel ergeben, das an genau einer Stelle den Wert und sonst überall den Wert besitzt. Aus diesen Basislösungen kann man die Lösungen zu sämtlichen simultanen Kongruenzen berechnen.
Beispiel
(a) Bestimme für die Zahlen , und modulare Basislösungen, finde also die kleinsten positiven Zahlen, die in
die Restetupel und repräsentieren.
(b) Finde mit den Basislösungen die kleinste positive Lösung der simultanen Kongruenzen
(a) : Alle Vielfachen von haben modulo und modulo den Rest . Unter diesen Vielfachen muss also die Lösung liegen. hat modulo den Rest , somit hat modulo den Rest . Also repräsentiert das Restetupel .
: Hier betrachtet man die Vielfachen von , und hat modulo den Rest . Also repräsentiert das Restetupel .
: Hier betrachtet man die Vielfachen von , und hat modulo den Rest . Also repräsentiert das Restetupel .
(b) Man schreibt (in )
Die Lösung ist dann
Die minimale Lösung ist dann .
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 .
Dies folgt aus dem chinesischen Restsatz und Fakt.