Etant donné deux nombres entiers, leur pgcd désigne leur plus grand commun diviseur.
Lorsque deux nombres ont pour pgcd 1, on dit qu’ils sont premiers entre eux. Ainsi sur l’exemple précédent, 42 et 23 sont premiers entre eux. Cela signifie qu’ils n’ont aucun diviseur commun hormis 1 (bien sûr, il divise tout entier!).