Definition:GCD Domain
From ProofWiki
Definition
A GCD domain is an integral domain in which any two non-zero elements have a greatest common divisor.
A GCD domain is an integral domain in which any two non-zero elements have a greatest common divisor.