Integral domain
Algebraic structure → Ring theory Ring theory 

Basic concepts Rings
Related structures

Commutative rings
padic number theory and decimals

In mathematics, specifically 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, every nonzero element a has the cancellation property, 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:
 rngs ⊃ rings ⊃ commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ GCD domains ⊃ unique factorization domains ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields ⊃ algebraically closed fields
Algebraic structures 

Definition[edit]
An integral domain is basically defined as a nonzero commutative ring in which the product of any two nonzero elements is nonzero. This definition may be reformulated in a number of equivalent definitions :
 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 nonzero 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 a monoid must be closed under multiplication).
 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.
A fundamental property of integral domains is that every subring of a field is an integral domain, and that, conversely, given any integral domain, one may construct a field that contains it as a subring, the field of fractions. This characterization may be viewed as a further equivalent definition:
 An integral domain is a ring that is (isomorphic to) a subring of a field.
Examples[edit]
 The archetypical example is the ring of all integers.
 Every field is an integral domain. For example, the field 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 provides an example of a nonArtinian infinite integral domain that is not a field, possessing infinite descending sequences of ideals such as:
 Rings of polynomials are integral domains if the coefficients come from an integral domain. For instance, the ring of all polynomials in one variable with integer coefficients is an integral domain; so is the ring of all polynomials in nvariables with complex coefficients.
 The previous example can be further exploited by taking quotients from prime ideals. For example, the ring corresponding to a plane elliptic curve is an integral domain. Integrality can be checked by showing is an irreducible polynomial.
 The ring is an integral domain for any nonsquare integer . If , then this ring is always a subring of , otherwise, it is a subring of
 The ring of padic integers is an integral domain.
 If is a connected open subset of the complex plane , then the ring consisting of all holomorphic functions 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]}
Nonexamples[edit]
The following rings are not integral domains.
 The zero ring (the ring in which ).
 The quotient ring when m is a composite number. Indeed, choose a proper factorization (meaning that and are not equal to or ). Then and , but .
 A product of two nonzero commutative rings. In such a product , one has .
 When is a square, the ring is not an integral domain. Write , and note that there is a factorization in . By the Chinese remainder theorem, there is an isomorphism
 The ring of n × n matrices over any nonzero ring when n ≥ 2. If and are matrices such that the image of is contained in the kernel of , then . For example, this happens for .
 The quotient ring for any field and any nonconstant polynomials . The images of f and g in this quotient ring are nonzero elements whose product is 0. This argument shows, equivalently, that is not a prime ideal. The geometric interpretation of this result is that the zeros of fg form an affine algebraic set that is not irreducible (that is, not an algebraic variety) in general. The only case where this algebraic set may be irreducible is when fg is a power of an irreducible polynomial, which defines the same algebraic set.
 The ring of continuous functions on the unit interval. Consider the functions
 Neither nor is everywhere zero, but is.
 The tensor product . This ring has two nontrivial idempotents, and . They are orthogonal, meaning that , and hence is not a domain. In fact, there is an isomorphism defined by . Its inverse is defined by . This example shows that a fiber product of irreducible affine schemes need not be irreducible.
Divisibility, prime elements, and irreducible elements[edit]
In this section, R is an integral domain.
Given elements a and b of R, one says that a divides b, or that a is a divisor of b, or that b is a multiple of a, if there exists an element x in R such that ax = b.
The units of R are the elements that divide 1; these are precisely the invertible elements in R. Units divide all other elements.
If a divides b and b divides a, then a and b are associated elements or associates.^{[9]} Equivalently, a and b are associates if a = ub for some unit u.
An irreducible element is a nonzero nonunit that cannot be written as a product of two nonunits.
A nonzero nonunit p is a prime element if, whenever p divides a product ab, then p divides a or p divides b. Equivalently, an element p is prime if and only if the principal ideal (p) is a nonzero prime ideal.
Both notions of irreducible elements and prime elements generalize the ordinary definition of prime numbers in the ring if one considers as prime the negative primes.
Every prime element is irreducible. The converse is not true in general: for example, in the quadratic integer ring the element 3 is irreducible (if it factored nontrivially, the factors would each have to have norm 3, but there are no norm 3 elements since has no integer solutions), but not prime (since 3 divides without dividing either factor). In a unique factorization domain (or more generally, a GCD domain), an irreducible element is a prime element.
While unique factorization does not hold in , there is unique factorization of ideals. See Lasker–Noether theorem.
Properties[edit]
 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 the polynomial rings over R (in any number of indeterminates) are integral domains. This is in particular the case if R is a field.
 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.
 If are integral domains over an algebraically closed field k, then is an integral domain. This is a consequence of Hilbert's nullstellensatz,^{[note 1]} and, in algebraic geometry, it implies the statement that the coordinate ring of the product of two affine algebraic varieties over an algebraically closed field is again an integral domain.
Field of fractions[edit]
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 is the field of rational numbers The field of fractions of a field is isomorphic to the field itself.
Algebraic geometry[edit]
Integral domains are characterized by the condition that they are reduced (that is x^{2} = 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[edit]
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.
See also[edit]
The Wikibook Abstract algebra has a page on the topic of: Integral domains 
 Dedekind–Hasse norm – the extra structure needed for an integral domain to be principal
 Zeroproduct property
Notes[edit]
 ^ Proof: First assume A is finitely generated as a kalgebra and pick a basis of . Suppose (only finitely many are nonzero). For each maximal ideal of , consider the ring homomorphism . Then the image is and thus either or and, by linear independence, for all or for all . Since is arbitrary, we have the intersection of all maximal ideals where the last equality is by the Nullstellensatz. Since is a prime ideal, this implies either or is the zero ideal; i.e., either are all zero or are all zero. Finally, is an inductive limit of finitely generated kalgebras that are integral domains and thus, using the previous property, is an integral domain.
 ^ Bourbaki, p. 116.
 ^ Dummit and Foote, p. 228.
 ^ B.L. van der Waerden, Algebra Erster Teil, p. 36, SpringerVerlag, Berlin, Heidelberg 1966.
 ^ I.N. Herstein, Topics in Algebra, p. 8890, 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.: AddisonWesley, ISBN 9780201555400, 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 0471510017.
Elements a and b of [an integral domain] are called associates if a  b and b  a.
References[edit]
 Adamson, Iain T. (1972). Elementary rings and modules. University Mathematical Texts. Oliver and Boyd. ISBN 0050021923.
 Bourbaki, Nicolas (1998). Algebra, Chapters 1–3. Berlin, New York: SpringerVerlag. ISBN 9783540642435.
 Mac Lane, Saunders; Birkhoff, Garrett (1967). Algebra. New York: The Macmillan Co. ISBN 1568810687. MR 0214415.
 Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). New York: Wiley. ISBN 9780471433347.
 Hungerford, Thomas W. (2013). Abstract Algebra: An Introduction (3rd ed.). Cengage Learning. ISBN 9781111569624.
 Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. 211. Berlin, New York: SpringerVerlag. ISBN 9780387953854. MR 1878556.
 Sharpe, David (1987). Rings and factorization. Cambridge University Press. ISBN 0521337186.
 Rowen, Louis Halle (1994). Algebra: groups, rings, and fields. A K Peters. ISBN 1568810288.
 Lanski, Charles (2005). Concepts in abstract algebra. AMS Bookstore. ISBN 053442323X.
 Milies, César Polcino; Sehgal, Sudarshan K. (2002). An introduction to group rings. Springer. ISBN 1402002386.
 B.L. van der Waerden, Algebra, SpringerVerlag, Berlin Heidelberg, 1966.