Divisibilité dans ℤ

Soit $a$ et $b$ des entiers relatifs $\in\mathbb Z$, $b$ étant non nul.

On dit que $b$ est un diviseur de $a$ lorsqu’il existe un entier relatif $k$ tel que $a=k\times b$.

On peut dire aussi que :

• $a$ est divisible par $b$
• $b$ est un diviseur de $a$
• $a$ est un multiple de $b$
• $b$ divise $a$