---
tag: 0ZAF9KHDDF
kind: concept
name: Greatest common divisor in an integral domain
msc: [13A05]
sources:
  - url: https://en.wikipedia.org/wiki/GCD_domain
    locator: lead section
---

## Summary

A greatest common divisor of two elements of an integral domain is a common divisor that every common divisor divides.
It is unique up to associates when it exists.
The [[definition of a greatest common divisor|0F7KNJ1ZYN]] gives the conditions.