 With this definition, two elements and may very well have several greatest common divisors, or none at all.If is an integral domain then any two gcd's of and must be associate elements, since by definition either one must divide the other; indeed if a gcd exists, any one of its associates is a gcd as well.Existence of a gcd is not assured in arbitrary integral domains.