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.
- A is a UFD.
- Every nonzero prime ideal of A contains a prime element. (Kaplansky)
- 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)
- A satisfies (ACCP) and every irreducible is prime.
- A is a GCD domain (i.e., any two elements have a greatest common divisor) satisfying (ACCP).
- A is a Schreier domain, and every nonzero nonunit can be expressed as a finite product of irreducible elements (that is, A is atomic.)
- A has a divisor theory in which every divisor is principal.
- A is a Krull domain in which every divisorial ideal is principal (in fact, this is the definition of UFD in Bourbaki.)
- 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:
“Perhaps basketball and poetry have just a few things in common, but the most important is the possibility of transcendence. The opposite is labor. In writing, every writer knows when he or she is laboring to achieve an effect. You want to get from here to there, but find yourself willing it, forcing it. The equivalent in basketball is aiming your shot, a kind of strained and usually ineffective purposefulness. What you want is to be in some kind of flow, each next moment a discovery.”
—Stephen Dunn (b. 1939)
“Under conditions of tyranny it is far easier to act than to think.”
—Hannah Arendt (19061975)
“Full fathom five thy father lies,
Of his bones are coral made;
Those are pearls that were his eyes;
Nothing of him that doth fade,
But doth suffer a sea-change
Into something rich and strange.
Sea-nymphs hourly ring his knell:
Ding-dong.
Hark! Now I hear themding-dong bell.”
—William Shakespeare (15641616)