Search results
Results from the WOW.Com Content Network
Formally, a unique factorization domain is defined to be an integral domain R in which every non-zero element x of R which is not a unit can be written as a finite product of irreducible elements p i of R: x = p 1 p 2 ⋅⋅⋅ p n with n ≥ 1. and this representation is unique in the following sense: If q 1, ..., q m are irreducible elements ...
Thus, a number field has class number 1 if and only if its ring of integers is a principal ideal domain (and thus a unique factorization domain). The fundamental theorem of arithmetic says that Q has class number 1.
The converse is true for unique factorization domains [2] (or, more generally, GCD domains). Moreover, while an ideal generated by a prime element is a prime ideal , it is not true in general that an ideal generated by an irreducible element is an irreducible ideal .
Nagata, Masayoshi (1958), "A general theory of algebraic geometry over Dedekind domains. II. Separably generated extensions and regular local rings", American Journal of Mathematics, 80 (2): 382–420, doi:10.2307/2372791, ISSN 0002-9327, JSTOR 2372791, MR 0094344
Multiplication is defined for ideals, and the rings in which they have unique factorization are called Dedekind domains. There is a version of unique factorization for ordinals, though it requires some additional conditions to ensure uniqueness. Any commutative Möbius monoid satisfies a unique factorization theorem and thus possesses ...
In the case of coefficients in a unique factorization domain R, "rational numbers" must be replaced by "field of fractions of R". This implies that, if R is either a field, the ring of integers, or a unique factorization domain, then every polynomial ring (in one or several indeterminates) over R is a unique factorization domain. Another ...
In particular if k is a field, the ring of integers, or a principal ideal domain, then the polynomial ring [, …,] is regular. In the case of a field, this is Hilbert's syzygy theorem. Any localization of a regular ring is regular as well. A regular ring is reduced [b] but need not be an integral domain. For example, the product of two regular ...
Unlike principal ideal domains (where every ideal is principal), a Bézout domain need not be a unique factorization domain; for instance the ring of entire functions is a non-atomic Bézout domain, and there are many other examples. An integral domain is a Prüfer GCD domain if and only if it is a Bézout domain. [3]