Unique Factorization Domain - Equivalent Conditions For A Ring To Be A UFD

Equivalent Conditions For A Ring To Be A UFD

A Noetherian integral domain is a UFD if and only if every height 1 prime ideal is principal. Also, a Dedekind domain is a UFD if and only if its ideal class group is trivial. In this case it is in fact a principal ideal domain.

There are also equivalent conditions for non-noetherian integral domains. Let A be an integral domain. Then the following are equivalent.

  1. A is a UFD.
  2. Every nonzero prime ideal of A contains a prime element. (Kaplansky)
  3. A satisfies ascending chain condition on principal ideals (ACCP), and the localization S−1A is a UFD, where S is a multiplicatively closed subset of A generated by prime elements. (Nagata criterion)
  4. A satisfies (ACCP) and every irreducible is prime.
  5. A is a GCD domain (i.e., any two elements have a greatest common divisor) satisfying (ACCP).
  6. A is a Schreier domain, and every nonzero nonunit can be expressed as a finite product of irreducible elements (that is, A is atomic.)
  7. A has a divisor theory in which every divisor is principal.
  8. A is a Krull domain in which every divisorial ideal is principal (in fact, this is the definition of UFD in Bourbaki.)
  9. A is a Krull domain and every prime ideal of height 1 is principal.

In practice, (2) and (3) are the most useful conditions to check. For example, it follows immediately from (2) that a PID is a UFD, since, in a PID, every prime ideal is generated by a prime element.

Let A be a Zariski ring (e.g., a local noetherian ring).If the completion is a UFD, then A is a UFD.

Read more about this topic:  Unique Factorization Domain

Famous quotes containing the words equivalent, conditions and/or ring:

    “Nobody can deny but religion is a comfort to the distressed, a cordial to the sick, and sometimes a restraint on the wicked; therefore whoever would argue or laugh it out of the world without giving some equivalent for it ought to be treated as a common enemy.”
    —Mary Wortley, Lady Montagu (1689–1762)

    “It is part of the educator’s responsibility to see equally to two things: First, that the problem grows out of the conditions of the experience being had in the present, and that it is within the range of the capacity of students; and, secondly, that it is such that it arouses in the learner an active quest for information and for production of new ideas. The new facts and new ideas thus obtained become the ground for further experiences in which new problems are presented.”
    —John Dewey (1859–1952)

    “Generally, about all perception, we can say that a sense is what has the power of receiving into itself the sensible forms of things without the matter, in the way in which a piece of wax takes on the impress of a signet ring without the iron or gold.”
    —Aristotle (384–323 B.C.)