Kongruencja to pewna relacja równoważności określona w zbiorze liczb całkowitych. Kongruencja modulo n nazywana jest też przystawaniem liczb "modulo n".
Liczby całkowite a i b przystają modulo n (pozostają w kongruencji modulo n), co zapisuje się:
, jeżeli ich różnica a − b dzieli się bez reszty przez n. Równoważnie: jeśli liczby a i b dają w dzieleniu przez n tę samą resztę.
Spis treści |
Liczby 5 i 11 przystają modulo 3:
,ponieważ ich różnica, czyli 6, dzieli się bez reszty przez 3. Równoważnie, w dzieleniu z resztą obu liczb przez 3 otrzymujemy tę samą resztę 2:


,
,
.Kongruencja jest zatem relacją równoważności.
,
.Powyższe dwie własności są podstawą m.in. obliczeń kontrolnych w rachunkach pisemnych, np. "reguły dziewiątek".
Przekonujemy się również, że:
,
,
,
.Kongruencje o tym samym module można dodawać, odejmować lub mnożyć stronami. Można przenosić wyrazy z jednej strony kongruencji na drugą, zmieniając ich znaki. Obie strony kongruencji można podnosić do tej samej potęgi (o naturalnym wykładniku). Jednak nie wolno dzielić stronami kongruencji, ani też dzielić obu stron kongruencji przez ten sam wspólny dzielnik!
Jednakże, istnieje możliwość podzielenia przez wspólny czynnik d, ale tylko wtedy, gdy liczby m i d są względnie pierwsze, czyli 



Jeżeli
to m nie dzieli d, a to oznacza, że:


Kongruencje można też określać w dowolnych pierścieniach.
Za pomocą kongruencji łatwo jest wskazać cechy podzielności przez liczby 9 i 11:
Jeżeli
jest wielomianem całkowitym względem x o współczynnikach całkowitych, to kongruencja
pociąga za sobą
.
Niech
będzie wielomianem całkowitym n-tego stopnia o współczynnikach całkowitych (wielomian ten oznaczamy krótko przez w(x)), m będzie danym modułem, zaś a i b liczbami całkowitymi przystającymi według modułu m. Zapiszemy ciąg kongruencji następująco:
,
,
,
.Dodajemy stronami,
, czyli
.Niech
, a
jej kolejnymi cyframi w układzie dziesiętnym. Oczywiście
.Niech

i
.Z lematu i wobec kongruencji
mamy
, zatem
,co dowodzi, że każda liczba naturalna przystaje według modułu 9 do sumy swoich cyfr. Dla podzielności liczby N przez 9 wystarcza, by suma jej cyfr była podzielna przez 9.
Wobec lematu oraz kongruencji
, mamy
,czyli
.Co oznacza podzielność przez 11: liczba jest podzielna przez 11, jeśli po odjęciu sumy cyfr stojących na miejscach nieparzystych od sumy cyfr stojących na miejscach parzystych otrzymamy liczbę podzielną przez 11.