Integral domain

In mathematics, and specifically in abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero.^[1]^[2] Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain the cancellation property holds for multiplication by a nonzero element a, that is, if a ≠ 0, an equality ab = ac implies b = c.

"Integral domain" is defined almost universally as above, but there is some variation. This article follows the convention that rings have a multiplicative identity, generally denoted 1, but some authors do not follow this, by not requiring integral domains to have a multiplicative identity.^[3]^[4] Noncommutative integral domains are sometimes admitted.^[5] This article, however, follows the much more usual convention of reserving the term "integral domain" for the commutative case and using "domain" for the general case including noncommutative rings.

Some sources, notably Lang, use the term entire ring for integral domain.^[6]

Some specific kinds of integral domains are given with the following chain of class inclusions:

commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ GCD domains ⊃ unique factorization domains ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields ⊃ finite fields

Algebraic structures
Group-like Semigroup / Monoid Racks and quandles Quasigroup and loop Abelian group Magma Lie group Group theory
Ring-like Ring Semiring Near-ring Commutative ring Integral domain Field Division ring Ring theory
Lattice-like Lattice Semilattice Map of lattices Lattice theory
Module-like Module Group with operators Vector space Linear algebra
Algebra-like Algebra Associative Non-associative Composition algebra Lie algebra Graded Bialgebra

Definitions

There are a number of equivalent definitions of integral domain:

An integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero.
An integral domain is a nonzero commutative ring with no nonzero zero divisors.
An integral domain is a commutative ring in which the zero ideal {0} is a prime ideal.
An integral domain is a nonzero commutative ring for which every non-zero element is cancellable under multiplication.
An integral domain is a ring for which the set of nonzero elements is a commutative monoid under multiplication (because the monoid is closed under multiplication).
An integral domain is a ring that is (isomorphic to) a subring of a field. (This implies it is a nonzero commutative ring.)
An integral domain is a nonzero commutative ring in which for every nonzero element r, the function that maps each element x of the ring to the product xr is injective. Elements r with this property are called regular, so it is equivalent to require that every nonzero element of the ring be regular.

Examples

The archetypical example is the ring Z of all integers.
Every field is an integral domain. For example, the field R of all real numbers is an integral domain. Conversely, every Artinian integral domain is a field. In particular, all finite integral domains are finite fields (more generally, by Wedderburn's little theorem, finite domains are finite fields). The ring of integers Z provides an example of a non-Artinian infinite integral domain that is not a field, possessing infinite descending sequences of ideals such as:

\mathbf {Z} \;\supset \;2\mathbf {Z} \;\supset \;\cdots \;\supset \;2^{n}\mathbf {Z} \;\supset \;2^{n+1}\mathbf {Z} \;\supset \;\cdots

Rings of polynomials are integral domains if the coefficients come from an integral domain. For instance, the ring Z[X] of all polynomials in one variable with integer coefficients is an integral domain; so is the ring R[X,Y] of all polynomials in two variables with real coefficients.
For each integer n > 1, the set of all real numbers of the form a + b√n with a and b integers is a subring of R and hence an integral domain.
For each integer n > 0 the set of all complex numbers of the form a + bi√n with a and b integers is a subring of C and hence an integral domain. In the case n = 1 this integral domain is called the Gaussian integers.
The ring of p-adic integers is an integral domain.
If U is a connected open subset of the complex plane C, then the ring H(U) consisting of all holomorphic functions f : U → C is an integral domain. The same is true for rings of analytic functions on connected open subsets of analytic manifolds.
A regular local ring is an integral domain. In fact, a regular local ring is a UFD.^[7]^[8]

Non-examples

The following rings are not integral domains.

The ring of n × n matrices over any nonzero ring when n ≥ 2.
The ring of continuous functions on the unit interval.
The quotient ring Z/mZ when m is a composite number.
The product ring Z × Z.
The zero ring in which 0=1.
The tensor product $\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}$ (since, for example, $(i\otimes 1-1\otimes i)\,(i\otimes 1+1\otimes i)=0$ ).
The quotient ring $k[x,y]/(xy)$ for any field $k$ , since $(xy)$ is not a prime ideal.

Divisibility, prime elements, and irreducible elements

Properties

A commutative ring R is an integral domain if and only if the ideal (0) of R is a prime ideal.
If R is a commutative ring and P is an ideal in R, then the quotient ring R/P is an integral domain if and only if P is a prime ideal.
Let R be an integral domain. Then there is an integral domain S such that R ⊂ S and S has an element which is transcendental over R.
The cancellation property holds in any integral domain: for any a, b, and c in an integral domain, if a ≠ 0 and ab = ac then b = c. Another way to state this is that the function x ↦ ax is injective for any nonzero a in the domain.
The cancellation property holds for ideals in any integral domain: if xI = xJ, then either x is zero or I = J.
An integral domain is equal to the intersection of its localizations at maximal ideals.
An inductive limit of integral domains is an integral domain.

Field of fractions

Main article: Field of fractions

The field of fractions K of an integral domain R is the set of fractions a/b with a and b in R and b ≠ 0 modulo an appropriate equivalence relation, equipped with the usual addition and multiplication operations. It is "the smallest field containing R" in the sense that there is an injective ring homomorphism R → K such that any injective ring homomorphism from R to a field factors through K. The field of fractions of the ring of integers Z is the field of rational numbers Q. The field of fractions of a field is isomorphic to the field itself.

Algebraic geometry

Integral domains are characterized by the condition that they are reduced (that is x² = 0 implies x = 0) and irreducible (that is there is only one minimal prime ideal). The former condition ensures that the nilradical of the ring is zero, so that the intersection of all the ring's minimal primes is zero. The latter condition is that the ring have only one minimal prime. It follows that the unique minimal prime ideal of a reduced and irreducible ring is the zero ideal, so such rings are integral domains. The converse is clear: an integral domain has no nonzero nilpotent elements, and the zero ideal is the unique minimal prime ideal.

This translates, in algebraic geometry, into the fact that the coordinate ring of an affine algebraic set is an integral domain if and only if the algebraic set is an algebraic variety.

More generally, a commutative ring is an integral domain if and only if its spectrum is an integral affine scheme.

Characteristic and homomorphisms

The characteristic of an integral domain is either 0 or a prime number.

If R is an integral domain of prime characteristic p, then the Frobenius endomorphism f(x) = x^p is injective.

Notes

↑ Bourbaki, p. 116.
↑ Dummit and Foote, p. 228.
↑ B.L. van der Waerden, Algebra Erster Teil, p. 36, Springer-Verlag, Berlin, Heidelberg 1966.
↑ I.N. Herstein, Topics in Algebra, p. 88-90, Blaisdell Publishing Company, London 1964.
↑ J.C. McConnel and J.C. Robson "Noncommutative Noetherian Rings" (Graduate Studies in Mathematics Vol. 30, AMS)
↑ Pages 91–92 of Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley Pub. Co., ISBN 978-0-201-55540-0, Zbl 0848.13001
↑ Auslander, Maurice; Buchsbaum, D. A. (1959). "Unique factorization in regular local rings". Proc. Natl. Acad. Sci. USA. 45 (5): 733–734. doi:10.1073/pnas.45.5.733. PMC 222624. PMID 16590434.
↑ Masayoshi Nagata (1958). "A general theory of algebraic geometry over Dedekind domains. II". Amer. J. Math. The Johns Hopkins University Press. 80 (2): 382–420. doi:10.2307/2372791. JSTOR 2372791.
↑ Durbin, John R. (1993). Modern Algebra: An Introduction (3rd ed.). John Wiley and Sons. p. 224. ISBN 0-471-51001-7. Elements a and b of [an integral domain] are called associates if a | b and b | a.

References

Adamson, Iain T. (1972). Elementary rings and modules. University Mathematical Texts. Oliver and Boyd. ISBN 0-05-002192-3.
Bourbaki, Nicolas (1998). Algebra, Chapters 1–3. Berlin, New York: Springer-Verlag. ISBN 978-3-540-64243-5.
Mac Lane, Saunders; Birkhoff, Garrett (1967). Algebra. New York: The Macmillan Co. ISBN 1-56881-068-7. MR 0214415.
Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). New York: Wiley. ISBN 978-0-471-43334-7.
Hungerford, Thomas W. (2013). Abstract Algebra: An Introduction (3rd ed.). Cengage Learning. ISBN 978-1-111-56962-4.
Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. 211. Berlin, New York: Springer-Verlag. ISBN 978-0-387-95385-4. MR 1878556.
Sharpe, David (1987). Rings and factorization. Cambridge University Press. ISBN 0-521-33718-6.
Rowen, Louis Halle (1994). Algebra: groups, rings, and fields. A K Peters. ISBN 1-56881-028-8.
Lanski, Charles (2005). Concepts in abstract algebra. AMS Bookstore. ISBN 0-534-42323-X.
Milies, César Polcino; Sehgal, Sudarshan K. (2002). An introduction to group rings. Springer. ISBN 1-4020-0238-6.
B.L. van der Waerden, Algebra, Springer-Verlag, Berlin Heidelberg, 1966.

This article is issued from Wikipedia - version of the 10/12/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.