Chinesischer Restsatz

Ein Satz, der ein Isomorphismus- und Lösungskriterium beschreibt: Falls n als Produkt paarweise teilerfremder Zahlen n1,...,nk dargestellt werden kann, ist der Ring Z/nZ isomorph zum Produkt ∏ Z/niZ, und Systeme von Kongruenzen modulo den ni haben eine eindeutige Lösung modulo n.

Ein Satz, der besagt, dass ein System simultaner Kongruenzen x ≡ a_i (mod m_i) mit paarweise teilerfremden Moduli m_i eine eindeutige Lösung modulo M = ∏ m_i besitzt; äquivalent ist, dass der Ring Z/MZ isomorph zum Produkt der Z/m_iZ ist, wenn die m_i paarweise teilerfremd sind.

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.