On considère ici l’ensemble des entiers relatifs $\mathbb Z$.
Définition :
Soit $\rm a,b\in\mathbb Z$, $\rm a$ est multiple de $\rm b$ s’il existe $\rm k\in\mathbb Z$ tel que $\rm a=kb$. $\rm b$ est appelé diviseur de $\rm a$.
Définition :
Un entier $\rm p\geq 2$ est un nombre premier si ses seuls diviseurs positifs sont $1$ et $\rm p$.
Proposition :
Il existe une infinité de nombres premiers.
Théorème :
Tout entier $\rm n\geq 2$ peut être écrit de façon unique comme produit de facteurs premiers.
Définition : Soit $n\in\mathbb Z$.
La valuation $p$-adique de $n$, notée $v_p(n)$, est l'exposant de $p$ dans la décomposition en produit de facteurs premiers de $n$.
Théorème :
Soit $\rm a\in\mathbb Z$, $\rm b\in\mathbb N^*$. Il existe un unique couple $\rm (q,r)\in \mathbb Z^2$ tel que $\rm a=bq+r$ avec $\rm 0\leq r < b$.
$\rm q$ est appelé lequotien et $\rm r$ lereste de la division euclidienne de $\rm a$ par $\rm b$.