Etant donné deux entiers a et b, ils possèdent un plus grand diviseur commun noté pgcd(a, b) que l'on détermine à l'aide de l'algorithme d'Euclide.