Számelméleti kongruencia

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