Kongruenz

aa ist kongruent zu bb Modulo mm, falls mm aba-b teilt.

Wir schreiben auch abmodm.a\equiv b \bmod m. Außerdem gilt:

abmodm(amodm)=(bmodm)a \equiv b \bmod m \quad \Longleftrightarrow \quad(a \bmod m)=(b \bmod m)

Äquivalenzrelation Äquivalenzklasse Repräsentant Kommutativer Ring

Beispiele

Nachweis der Teilbarkeitsregeln für Dezimalzahlen mit 3,9,113,9,11 (bezogen auf z.B. die Quersumme der Zahl).