Unique factorization ___domain: Difference between revisions

Revision as of 18:43, 27 November 2007

Revision as of 05:30, 18 December 2007

Line 2:

In [[mathematics]], a '''unique factorization ___domain (UFD)''' is, roughly speaking, a [[commutative ring]] in which every element can be uniquely written as a product of [[prime element]]s, analogous to the [[fundamental theorem of arithmetic]] for the [[integer]]s. UFDs are sometimes called '''factorial rings''', following the terminology of [[Nicolas Bourbaki|Bourbaki]].

Some specific kinds of unique factorization domains are given with the following chain of [[subset|set inclusions]]:

'''unique factorization domains''' ⊃ '''[[principal ideal ___domain]]s''' ⊃ '''[[Euclidean ___domain]]s''' ⊃ '''[[field (mathematics)|field]]s'''

== Definition ==