UFD implies gcd

From Commalg
Jump to: navigation, search
This article gives the statement and possibly, proof, of an implication relation between two integral domain properties. That is, it states that every integral domain satisfying the first integral domain property must also satisfy the second integral domain property
View all integral domain property implications | View all integral domain property non-implications |Get help on looking up integral domain property implications/non-implications


Property-theoretic statement

The property of integral domains of being a unique factorization domain is stronger than the property of being a gcd domain.

Verbal statement

Any unique factorization domain is a gcd domain.

Definitions used

Unique factorization domain

A unique factorization domain is an integral domain where every element can be factorized uniquely as a product of irreducible elements.

gcd domain

A gcd domain is an integral domain for which, given any two elements, there is an element, called the gcd of the two elements, such that any common divisor of the two elements divides the gcd.


Proof outline

  • Pick two elements in the UFD. We need to exhibit an element which satisfies the property demanded of the gcd of these two elements
  • Write down unique factorizations of both elements
  • For each prime, pick as its gcd exponent the minimum of its exponents in the unique factorizations of both elements. The gcd is then the element where the exponent of each prime is its gcd exponent.