Deelbaarheid van gehele getallen

Twee getallen $a,b\in\Z$ hebben dezelfde pariteit als $a$ en $b$ allebei even of allebei oneven zijn.

Voor twee getallen $a,b\in\Z$ met $a\neq0$ zeggen we dat "$a$ deelt $b$", notatie $a|b$, precies als er een $c\in\Z$ bestaat zodat $b=ac$. Voor een even $n\in\Z$ geldt dus dat $2|n$.

Als $a|b$, zeggen we dat $a$ een deler is van $b$ en $b$ een veelvoud is van $a$. Verder, als $a$ niet $b$ deelt, schrijven we $a \nmid b$.

Congruenties van gehele getallen (modulo-rekenen)

Voor $a,b,n\in\Z$ met $n\ge2$ zeggen we dat $a$ congruent is aan $b$ modulo $n$, notatie $a \equiv b \mod n$, precies als $n|a-b$.

Dit is een belangrijke stelling over congruenties.