Soient a et b deux entiers
relatifs non nuls. On appelle plus grand diviseur commun à a et
b le plus grand entier tel que d | a et d | b.
Notation et remarque :
On note pgcd(a,b) le plus grand entier
tel que d | a et d | b. Il est évident que le plus grand
diviseur commun est positif, puisque si un entier divise a et
b, son opposé aussi. Il est aussi unique par définition même.
