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