O máximo divisor comum entre a e b é normalmente indicado por mdc(a, b). Sobre ele, podemos dizer que: Se d é máximo divisor comum\nentre a e b, ...

Podemos dizer que: - Se d é o máximo divisor comum entre a e b, então d não pode ser o máximo divisor comum entre a e -b, -a e b e entre -a e -b, pois envolvem números negativos. - Se d e d' são máximos divisores comuns entre a e b, então d = d'. - Se a = b = 0, então mdc(a, b) = a = b = 0. - Se a e b são diferentes de zero, então o mdc(a, b) é sempre um número inteiro positivo. - Não podemos afirmar que a é maior que b, pois o mdc(a, b) não depende da ordem dos números a e b.