Siano a e b elementi di un dominio A. Un massimo comun divisore

di a e b è un elemento d di A tale che:

1.    d divide sia a che b;

2.    se un elemento c divide sia a che b, allora c divide d.