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:
“To place oneself in the position of God is painful: being God is equivalent to being tortured. For being God means that one is in harmony with all that is, including the worst. The existence of the worst evils is unimaginable unless God willed them.”
—Georges Bataille (18971962)
“For it is not possible to join serpentine wisdom with columbine innocency, except men know exactly all the conditions of the serpent: his baseness and going upon his belly, his volubility and lubricity, his envy and sting, and the rest; that is, all forms and natures of evil: for without this, virtue lieth open and unfenced.”
—Francis Bacon (15611626)
“Tell me where is fancy bred,
Or in the heart or in the head?
How begot, how nourished?
Reply, reply.
It is engendered in the eyes,
With gazing fed, and fancy dies
In the cradle where it lies.
Let us all ring fancys knell.
Ill begin it. Ding, dong, bell.”
—William Shakespeare (15641616)