Kongruenz

aa ist kongruent zu bb Modulo mm, falls mm a−ba-b teilt.

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

a≡b mod m⟺(a mod m)=(b mod m)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).