Chinesischer Restsatz

Chinesischer Restsatz

Studium
x≡ai ⁣ ⁣(modmi) (i=1,…,k)  ⇔  x≡∑i=1kai Mi yi(modM)x \equiv a_i \!\!\pmod{m_i}\ (i = 1, \ldots, k) \;\Leftrightarrow\; x \equiv \sum_{i=1}^{k} a_i \, M_i \, y_i \pmod M

Voraussetzung: m1,…,mk≥2m_1, \ldots, m_k \geq 2 paarweise teilerfremd,, M=m1⋯mk,M = m_1 \cdots m_k, Mi=Mmi,M_i = \tfrac{M}{m_i}, Mi yi≡1 ⁣ ⁣(modmi)M_i \, y_i \equiv 1 \!\!\pmod{m_i}

xx
gesuchte ganze Zahl
aia_i
vorgegebener Rest modulo m_i
mim_i
Moduln, paarweise teilerfremd
MM
Produkt aller Moduln
MiM_i
Produkt aller Moduln außer m_i
yiy_i
Inverses von M_i modulo m_i

Simultane Kongruenzen mit paarweise teilerfremden Moduln haben genau eine Lösung modulo dem Produkt der Moduln.

Erklärung

Der Chinesische Restsatz behandelt Systeme von Kongruenzen

x≡a1(modm1),…,x≡ak(modmk).x \equiv a_1 \pmod{m_1}, \quad \ldots, \quad x \equiv a_k \pmod{m_k}.

Sind die Moduln paarweise teilerfremd, dann hat das System immer eine Lösung, und diese ist modulo M=m1⋯mkM = m_1 \cdots m_k eindeutig. Alle Lösungen sind x+j⋅Mx + j \cdot M mit j∈Zj \in \mathbb{Z}.

Konstruktion der Lösung:

  1. MM und Mi=M/miM_i = M / m_i berechnen.
  2. Zu jedem MiM_i das Inverse yiy_i modulo mim_i bestimmen, etwa mit dem erweiterten Euklidischen Algorithmus. Es existiert, weil MiM_i zu mim_i teilerfremd ist.
  3. x=∑aiMiyix = \sum a_i M_i y_i bilden und modulo MM reduzieren.

Warum das stimmt: Modulo mim_i sind alle Summanden mit j≠ij \neq i gleich 00, weil MjM_j den Faktor mim_i enthält. Der ii-te Summand ist ai⋅Miyi≡ai⋅1a_i \cdot M_i y_i \equiv a_i \cdot 1.

Strukturell besagt der Satz, dass Z/MZ\mathbb{Z}/M\mathbb{Z} und Z/m1Z×⋯×Z/mkZ\mathbb{Z}/m_1\mathbb{Z} \times \cdots \times \mathbb{Z}/m_k\mathbb{Z} isomorph sind. Daraus folgt auch die Multiplikativität der φ-Funktion.

Beispiele

Gesucht ist xx mit x≡1(mod4)x \equiv 1 \pmod 4, x≡2(mod3)x \equiv 2 \pmod 3, x≡3(mod5)x \equiv 3 \pmod 5.

  • M=4⋅3⋅5=60M = 4 \cdot 3 \cdot 5 = 60, M1=15M_1 = 15, M2=20M_2 = 20, M3=12M_3 = 12.
  • 15≡3(mod4)15 \equiv 3 \pmod 4, Inverses y1=3y_1 = 3, da 9≡19 \equiv 1.
  • 20≡2(mod3)20 \equiv 2 \pmod 3, Inverses y2=2y_2 = 2, da 4≡14 \equiv 1.
  • 12≡2(mod5)12 \equiv 2 \pmod 5, Inverses y3=3y_3 = 3, da 6≡16 \equiv 1.
x=1⋅15⋅3+2⋅20⋅2+3⋅12⋅3=45+80+108=233≡53(mod60)x = 1 \cdot 15 \cdot 3 + 2 \cdot 20 \cdot 2 + 3 \cdot 12 \cdot 3 = 45 + 80 + 108 = 233 \equiv 53 \pmod{60}

Probe: 53=13⋅4+1=17⋅3+2=10⋅5+353 = 13 \cdot 4 + 1 = 17 \cdot 3 + 2 = 10 \cdot 5 + 3. Alle Lösungen sind 53+60j53 + 60j.

Typische Fehler

  • Nicht teilerfremde Moduln. x≡1(mod4)x \equiv 1 \pmod 4 und x≡2(mod6)x \equiv 2 \pmod 6 hat keine Lösung: Die erste Bedingung verlangt ein ungerades xx, die zweite ein gerades. Wegen ggT⁡(4,6)=2\operatorname{ggT}(4, 6) = 2 greift der Satz nicht.
  • Das Inverse vergessen. ∑aiMi\sum a_i M_i allein ist im Allgemeinen keine Lösung; erst der Faktor yiy_i macht Miyi≡1(modmi)M_i y_i \equiv 1 \pmod{m_i}.
  • Nicht modulo MM reduzieren. 233233 ist auch eine Lösung, die kleinste nichtnegative ist aber 5353.

Verwandte Formeln