GCD domain

From Wikipedia, the free encyclopedia
  (Redirected from Gcd domain)
Jump to: navigation, search

In mathematics, a GCD domain is an integral domain R with the property that any two non-zero elements have a greatest common divisor (GCD). Equivalently, any two non-zero elements of R have a least common multiple (LCM).[1]

A GCD domain generalizes a unique factorization domain to the non-Noetherian setting in the following sense: an integral domain is a UFD if and only if it is a GCD domain satisfying the ascending chain condition on principal ideals (and in particular if it is Noetherian).

Properties[edit]

Every irreducible element of a GCD domain is prime (however irreducible elements need not exist, even if the GCD domain is not a field). A GCD domain is integrally closed, and every nonzero element is primal.[2] In other words, every GCD domain is a Schreier domain.

For every pair of elements x, y of a GCD domain R, a GCD d of x and y and a LCM m of x and y can be chosen such that dm = xy, or stated differently, if x and y are nonzero elements and d is any GCD d of x and y, then xy/d is a LCM of x and y, and vice versa. It follows that the operations of GCD and LCM make the quotient R/~ into a distributive lattice, where "~" denotes the equivalence relation of being associate elements.

If R is a GCD domain, then the polynomial ring R[X1,...,Xn] is also a GCD domain, and more generally, the group ring R[G] is a GCD domain for any torsion-free commutative group G.[3]

For a polynomial in X over a GCD domain, one can define its contents as the GCD of all its coefficients. Then the contents of a product of polynomials is the product of their contents, as expressed by Gauss's lemma, which is valid over GCD domains.

Examples[edit]

  • A unique factorization domain is a GCD domain. Among the GCD domains, the unique factorization domains are precisely those that are also atomic domains (which means that at least one factorization into irreducible elements exists for any nonzero nonunit).
  • A Bézout domain (i.e., an integral domain where every finitely generated ideal is principal) is a GCD domain. Unlike principal ideal domains (where every ideal is principal), a Bézout domain need not be a unique factorization domain; for instance the ring of entire functions is a non-atomic Bézout domain, and there are many other examples. An integral domain is a Prüfer GCD domain if and only if it is a Bézout domain.[4]
  • If R is a non-atomic GCD domain, then R[X] is an example of a GCD domain that is neither a unique factorization domain (since it is non-atomic) nor a Bézout domain (since X and a non-invertible and non-zero element a of R generate an ideal not containing 1, but 1 is nevertheless a GCD of X and a); more generally any ring R[X1,...,Xn] has these properties.

References[edit]

  1. ^ Scott T. Chapman, Sarah Glaz (ed.) (2000). Non-Noetherian Commutative Ring Theory. Mathematics and Its Applications. Springer. p. 479. ISBN 0-7923-6492-9. 
  2. ^ proof
  3. ^ Robert W. Gilmer, Commutative semigroup rings, University of Chicago Press, 1984, p. 172.
  4. ^ Ali, Majid M.; Smith, David J. (2003), "Generalized GCD rings. II", Beiträge zur Algebra und Geometrie 44 (1): 75–98, MR 1990985 . P. 84: "It is easy to see that an integral domain is a Prüfer GCD-domain if and only if it is a Bezout domain, and that a Prüfer domain need not be a GCD-domain.".