Zum Inhalt springen

Chinesischer Restsatz/Z/Textabschnitt

Aus Wikiversity


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

Aufgabe


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


Lösung



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.