Let be a commutative ring and let . An element is a greatest common divisor of and if divides and divides and for every such that divides and divides , we have that divides .
Equivalently, is a greatest common divisor of and if the ideal generated by is the smallest principal ideal that contains both and . This ideal is unique.
Wikidata ID: Q131752