Ein Ergebnis, das Bedingungen und eine Konstruktion für gleichzeitige Lösungen von Kongruenzsystemen x ≡ a_i (mod m_i) liefert, wenn die Moduli m_i paarweise teilerfremd sind; es behauptet Existenz und Eindeutigkeit modulo dem Produkt M = ∏ m_i und gibt eine explizite Rekonstruktion an.

Prinzip

Paarweise Teilerfremdheit der Moduli entkoppelt Kongruenzbedingungen so, dass Reste modulo der einzelnen Moduli zu einem einzigen Rest modulo dem Produkt kombiniert werden können, etwa mittels modularer Inversen oder konstruktiver linearer Kombinationen.

Demonstration

Löse x ≡ 2 (mod 3) und x ≡ 3 (mod 5). Da 3 und 5 teilerfremd sind, existiert eine Lösung und sie ist eindeutig modulo 15; eine Lösung ist x = 8, weil 8 ≡ 2 (mod 3) und 8 ≡ 3 (mod 5), also sind alle Lösungen x ≡ 8 (mod 15).

Fehlanwendung

Die Standardform des CRT anzuwenden, wenn die Moduli nicht paarweise teilerfremd sind; ohne Kompatibilitätsprüfung kann das System inkonsistent sein oder erfordert Arbeiten modulo dem kleinsten gemeinsamen Vielfachen und Kompatibilitätstests.

Konsequenz

Bietet ein mächtiges Werkzeug zur modularen Dekomposition: die Arithmetik modulo eines zusammengesetzten M mit teilerfremden Faktoren ist isomorph zum Produkt der kleineren Restklassenringe, was parallele Berechnung, Komplexitätsreduktion und Entwurf von Algorithmen in Kryptographie und Kodierung ermöglicht.

Umkehrung

Die Umkehrung betrachtet kombinierte Kongruenzen mit nicht teilerfremden Moduli: die Existenz erfordert Kompatibilitätsbedingungen und Lösungen werden modulo dem kleinsten gemeinsamen Vielfachen beschrieben, sodass die einfache Entkopplung entfällt.

Abgrenzung

Die einfachste Form setzt ganzzahlige Moduli >1 voraus, die paarweise teilerfremd sind; verallgemeinerte Versionen behandeln nicht teilerfremde Moduli mit Kompatibilitätsbedingungen, und es existieren Analogien in allgemeineren Ringen unter passenden idempotenten Zerlegungen.

Semantische Spannung

Spannung besteht zwischen dem CRT als Existenz-/Eindeutigkeitsaussage und seiner konstruktiven algorithmischen Realisierung; außerdem zwischen der elementaren ganzzahligen Darstellung und abstrakteren algebraischen Zerlegungen (Ringisomorphismen und Idempotenten).

Synthese

Der Chinesische Restsatz kennzeichnet, wann und wie lokale Kongruenzdaten modulo paarweise teilerfremder Zahlen eindeutig zu einem globalen Rest modulo dem Produkt zusammengeführt werden können; er verbindet zahlentheoretische Existenz mit expliziten konstruktiven Methoden und algebraischen Zerlegungen.