L'ensemble des diviseurs communs de et est l'ensemble des diviseurs du de et .

Si et sont deux entiers naturels non nuls et si divise , alors .

Si est un entier relatif non nul et , alors .

Soit et deux entiers relatifs non tous deux nuls. Si , alors .