Kongruens

1. Sablon:Humatek Legyen $a,b$ tetszőleges egész szám, $m$ zérótól különböző természetes szám.

Azt mondjuk, hogy a kongruens b-vel modulo m, azaz hogy a és b egészek m-mel vett osztási maradéka egyenlő, ha

$m\mid a-b$

azaz

$\mathrm{\exists }k\in \mathbb{Z}:a=km+b$

Jelölése: $a\equiv b(\mathrm{mod}m)$ vagy $a\equiv b(m)$.

Ha a nem kongruens b-vel modulo m, azt mondjuk, inkongruens vele, és $a\equiv ̸b(\mathrm{mod}m)$ vagy $a\equiv ̸b(m)$ alakban jelöljük.

• Sablon:En: Sablon:T