Divisibilité. Pour $a,b\in\Z$ ($b\ne0$), $b\mid a \iff \exists k\in\Z,\ a=bk$. Ensembles : $a\Z=\{ak:k\in\Z\}$ ; $D(n)$ : diviseurs de $n$.
Division euclidienne. $\forall a\in\Z,\ \forall b\in\N^*$, $\exists!\,(q,r)\in\Z^2$ : $a=bq+r$ avec $0\le r<b$.
Lemme des restes. $\forall b\ge2$, tout entier est $bq,\,bq+1,\dots,\,bq+(b-1)$.
Congruences. $a\equiv b\pmod{n} \iff n\mid(a-b)$ ; opérations compatibles : $+$, $\times$, puissances.