UFD
Noun
Meaning
UFD (plural UFDs)
(algebra) Initialism of unique factorization domain.
Synonyms
Examples
A Bézout domain is thus a GCD domain, and (4) gives yet another proof that a PID is a UFD.
Also, a Dedekind domain is a UFD if and only if its ideal class group is trivial.
Any Euclidean domain is a unique factorization domain (UFD), although the converse is not true.
By iteration, a polynomial ring in any number of variables over any UFD (and in particular over a field) is 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 (a proof is given below).
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.