Szerkesztő:05storm26/Egyedi fakt. tart

Az egyedi faktorizációs tartomány a matematikában, konkrétan az algebrában egy olyan algebrai struktúrát, pontosabban kommutatív gyűrűt jelent, amely bármely nem egység és nem zérus eleme (nem keverendő össze a zéruselemmel és az egységelememel) egyértelműen, a tényezők sorrendjétől eltekintve felírható prímelemek (vagy irreducibilis elemek) szorzataként. Ez a difiníció a számelmélet alaptételével analóg.

Az egyedi faktorizációs tartomány a következő hirerarchikus tulajdonságokkal rendelkezik:

kommutatív gyűrűk ⊃ integritástartományok ⊃ egyedi faktorizációs tartományok ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields

Definition

Formally, a unique factorization domain is defined to be an integral domain R in which every non-zero x of R can be written as a product (an empty product if x is a unit) of irreducible elements p_i of R and a unit u:

x = u p₁ p₂ ... p_n with n≥0

and this representation is unique in the following sense: If q₁,...,q_m are irreducible elements of R and w is a unit such that

x = w q₁ q₂ ... q_m with m≥0,

then m = n, and there exists a bijective map φ : {1,...,n} -> {1,...,m} such that p_i is associated to q_φ(i) for i ∈ {1, ..., n}.

The uniqueness part is usually hard to verify, which is why the following equivalent definition is useful:

A unique factorization domain is an integral domain R in which every non-zero element can be written as a product of a unit and prime elements of R.

Examples

Most rings familiar from elementary mathematics are UFDs:

• All principal ideal domains, hence all Euclidean domains, are UFDs. In particular, the integers (also see fundamental theorem of arithmetic), the Gaussian integers and the Eisenstein integers are UFDs.
• If R is a UFD, then so is R[X], the ring of polynomials with coefficients in R. Unless R is a field, R[X] is not a principal ideal domain. By iteration, a polynomial ring in any number of variables over any UFD (and in particular over a field) is a UFD.
• The Auslander–Buchsbaum theorem states that every regular local ring is a UFD.
• The formal power series ring K[[X₁,...,X_n]] over a field K (or more generally over a regular UFD such as a PID) is a UFD. On the other hand, the formal power series ring over a UFD need not be a UFD, even if the UFD is local. For example, if R is the localization of k[x,y,z]/(x²+y³+z⁷) at the prime ideal (x,y,z) then R is a local ring that is a UFD, but the formal power series ring R[[X]] over R is not a UFD.
• Mori showed that if the completion of a Zariski ring, such as a Noetherian local ring, is a UFD, then the ring is a UFD. The converse of this is not true: there are Noetherian local rings that are UFDs but whose completions are not. The question of when this happens is rather subtle: for example, for the localization of k[x,y,z]/(x²+y³+z⁵) at the prime ideal (x,y,z), both the local ring and its completion are UFDs, but in the apparently similar example of the localization of k[x,y,z]/(x²+y³+z⁷) at the prime ideal (x,y,z) the local ring is a UFD but its completion is not.
• A non-example: the quadratic integer ring $\mathbb {Z} [{\sqrt {-5}}]$ of all complex numbers of the form $a+b{\sqrt {-5}}$, where a and b are integers, is not a UFD because 6 factors as both (2)(3) and as $\left(1+{\sqrt {-5}}\right)\left(1-{\sqrt {-5}}\right)$. These truly are different factorizations, because the only units in this ring are 1 and −1; thus, none of 2, 3, $1+{\sqrt {-5}}$, and $1-{\sqrt {-5}}$ are associate. It is not hard to show that all four factors are irreducible as well, though this may not be obvious. See also algebraic integer.
• Let $R$ be any field of characteristic not 2. Klein and Nagata showed that the ring R[X₁,...,X_n]/Q is a UFD whenever Q is a nonsingular quadratic form in the X's and n is at least 5. When n=4 the ring need not be a UFD. For example, $R[X,Y,Z,W]/(XY-ZW)$ is not a UFD, because the element $XY$ equals the element $ZW$ so that $XY$ and $ZW$ are two different factorizations of the same element into irreducibles.
• The ring of formal power series over the complex numbers is factorial, but the subring of those that converge everywhere, in other words the ring of holomorphic functions in a single complex variable, is not a UFD, since there exist holomorphic functions with an infinity of zeros, and thus an infinity of irreducible factors, while a UFD factorization must be finite, e.g.:

  $\sin \pi z=\pi z\prod _{n=1}^{\infty }\left(1-{{z^{2}} \over {n^{2}}}\right)$.

• The ring Q[x,y]/(x²+2y²+1) is factorial, but the ring Q(i)[x,y]/(x²+2y²+1) is not. On the other hand, The ring Q[x,y]/(x²+y²–1) is not factorial, but the ring Q(i)[x,y]/(x²+y²–1) is (Samuel 1964, p.35). Similarly the coordinate ring R[X,Y,Z]/(X²+Y²+Z²–1) of the 2-dimensinal real sphere is factorial, but the coordinate ring C[X,Y,Z]/(X²+Y²+Z²–1)of the complex sphere is not.
• Suppose that the variables X_i are given weights w_i, and F(X₁,...,X_n) is a homogeneous polynomial of weight w. Then if c is coprime to w and R is a UFD and either every finitely generated projective module over R is free or c is 1 mod w, the ring R[X₁,...,X_n,Z]/(Z^c–F(X₁,...,X_n)) is a factorial ring (Samuel 1964, p.31).

Properties

Some concepts defined for integers can be generalized to UFDs:

• In UFDs, every irreducible element is prime. (In any integral domain, every prime element is irreducible, but the converse does not always hold. For instance, the element $z\in K[x,y,z]/(z^{2}-xy)$ is irreducible, but not prime.) Note that this has a partial converse: a Noetherian domain is a UFD if every irreducible element is prime.
• Any two (or finitely many) elements of a UFD have a greatest common divisor and a least common multiple. Here, a greatest common divisor of a and b is an element d which divides both a and b, and such that every other common divisor of a and b divides d. All greatest common divisors of a and b are associated.
• Any UFD is integrally closed. In other words, if R is a UFD with quotient field K, and if an element k in K is a root of a monic polynomial with coefficients in R, then k is an element of R.
• Let S be a multiplicatively closed subset of a UFD A. Then the localization $S^{-1}A$ is a UFD. A partial converse to this also holds; see below.

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). 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.

1. A is a UFD.
2. Every nonzero prime ideal of A contains a prime element. (Kaplansky)
3. A satisfies ascending chain condition on principal ideals (ACCP), and the localization S⁻¹A is a UFD, where S is a multiplicatively closed subset of A generated by prime elements. (Nagata criterion)
4. A satisfies (ACCP) and every irreducible is prime.
5. A is a GCD domain (i.e., any two elements have a greatest common divisor) satisfying (ACCP).
6. A is a Schreier domain, and every nonzero nonunit can be expressed as a finite product of irreducible elements (that is, A is atomic.)
7. A has a divisor theory in which every divisor is principal.
8. A is a Krull domain in which every divisorial ideal is principal (in fact, this is the definition of UFD in Bourbaki.)
9. 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.

For another example, consider a Noetherian integral domain in which every height one prime ideal is principal. Since every prime ideal has finite height, it contains height one prime ideal (induction on height), which is principal. By (2), the ring is a UFD.

Fordítás

Ez a szócikk részben vagy egészben az Unique factorization domain című angol Wikipédia-szócikk ezen változatának fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.

Források

• N. Bourbaki. Commutative algebra 
• B. Hartley. Rings, modules and linear algebra. Chapman and Hall (1970). ISBN 0-412-09810-5  Chap. 4.
• Chapter II.5 of Sablon:Lang Algebra
• David Sharpe. Rings and factorization. Cambridge University Press (1987). ISBN 0-521-33718-6 
• Samuel, Pierre (1964), Murthy, M. Pavman, ed., Lectures on unique factorization domains, vol. 30, Tata Institute of Fundamental Research Lectures on Mathematics, Bombay: Tata Institute of Fundamental Research, MR0214579, <http://www.math.tifr.res.in/~publ/ln/>
• (1968) „Unique factorization”. The American Mathematical Monthly (75), 945–952. o. ISSN 0002-9890.