Abstract Algebra/Integral domains

< Abstract Algebra


Integral DomainsEdit

Motivation: The concept of divisibility is central to the study of ring theory. Integral domains are a useful tool for studying the conditions under which concepts like divisibility and unique factorization are well-behaved. In fact, they are very important for polynomial rings as well.

The integral domain was already defined before on the page on rings. We provide the definition again for reference.

Definition An integral domain is a commutative ring   with   such that for all  , the statement   implies either   or  .

An equivalent definition is as follows:

Definition Given a ring  , a zero-divisor is an element   such that   such that  .

Definition An integral domain is a commutative ring   with   and with no non-zero zero-divisors.

Remark An integral domain has a useful cancellation property: Let   be an integral domain and let   with  . Then   implies  . For this reason an integral domain is sometimes called a cancellation ring.


  1. The set   of integers under addition and multiplication is an integral domain. However, it is not a field since the element   has no multiplicative inverse.
  2. The set trivial ring {0} is not an integral domain since it does not satisfy  .
  3. The set   of congruence classes of the integers modulo 6 is not an integral domain because   in  .

Theorem: Any field   is an integral domain.

Proof: Suppose that   is a field and let  . If   for some   in  , then multiply by   to see that  .   cannot, therefore, contain any zero divisors. Thus,   is an integral domain. 

Definition If   is a ring, then the set of polynomials in powers of   with coefficients from   is also a ring, called the polynomial ring of   and written  . Each such polynomial is a finite sum of terms, each term being of the form   where   and   represents the  -th power of  . The leading term of a polynomial is defined as that term of the polynomial which contains the highest power of   in the polynomial.

Remark A polynomial equals   if and only if each of its coefficients equals  .

Theorem: Let   be a commutative ring and let   be the ring of polynomials in powers of   whose coefficients are elements of  . Then   is an integral domain if and only if   is.

Proof If commutative ring   is not an integral domain, it contains two non-zero elements   and   such that  . Then the polynomials   and   are non-zero elements of   and  . Thus if   is not an integral domain, neither is  .

Now let   be an integral domain and let   and   be polynomials in  . If the polynomials are both non-zero, then each one has a non-zero leading term, call them   and  . That these are the leading terms of polynomials   and   means that the leading term of the product   of these polynomials is  . Since   is an integral domain and  ,  . This means, by the Remark above, that the product   is not zero either. This means that   is an integral domain.

Unique Factorization Domains, Principal Ideal Domains, and Euclidean DomainsEdit

Unique Factorization Domains, Principal Ideal Domains, and Euclidean Domains are ideas that work only on integral domains.

Some definitionsEdit

  • Two ring elements a and b are associates if a=ub for some unit u, we write a~b
  • A nonzero nonunit a is irreducible if a=bc (b,c in domain)=>a~b or a~c.
  • a divides b if b=ar for some r within R. When this happens, we write a|b.
  • A nonzero nonunit is prime when a|bc implies that a|b or a|c.

Theorem: If a is prime, then a is irreducible.

Let a be prime, and let a=bc, so that either a|b or a|c. Without loss of generality, assume that a|b, so that b=ad for some element d. Then you can factor a=bc into a=adc, implying that cd=1, or that c is a unit.

Now that we have proven that all prime elements are irreducible, is the converse true? The answer to that is no, for we can easily obtain counterexamples to it. However, we will prove a sufficient and necessary condition for all irreducible elements to be prime.

Unique Factorization DomainsEdit

Definition: Let R be an integral domain. If the following two conditions hold:

  1. If a is nonzero, then a=up1p2...pn where u is a unit, and pi are irreducible.
  2. Let a=uq1q2...qm be another factorization of irreducibles. Then n = m and after a suitable re-ordering, each pi and qi are associates.

Then we call (the integral domain) R a unique factorization domain (UFD).

The converse to the above theorem holds true in a UFD.

Theorem: In a UFD, all irreducibles are prime.

Let a|bc, where a is irreducible. Then ad=bc for some element d. Taking the factorization, a = ud1d2...dl = vb1b2...bmwc1c2...cn = bc where u, v, and w are units. Because it is a UFD, a must be an associate of some bi or ci, implying that a|b or a|c.

The following theorem provides a sufficient and necessary condition for an integral domain R to be an integral domain.


  1. Let R be a UFD. R satisfies the following ascending chain condition on principal ideals: let   be a sequence of elements of R such that the principal ideals   satisfy the condition that  . Then there exists an N such that for all n>N, all the   are the same.
  2. If an integral domain R satisfies the ascending chain condition, then every nonzero element can be factored into irreducible elements, meaning that it satisfies the first condition for being a UFD.
  3. If, in addition to satisfying the ascending chain condition, all irreducible elements are prime, then the integral domain is a UFD.


  1. Consider a sequence   of elements of R such that  . Then obviously   for all natural numbers n, since  . Then due to unique factorization, all the factors of   are associates of the factors  , counting multiplicity of factors. Therefore, the number of non-unit factors is a decreasing sequence on the whole numbers. However,   has finitely many factors, so there is an N such that for all n>N, all the factors are   associates, meaning that all the   are also the same.
  2. Clearly any nonzero irreducible   can be factored into irreducibles, which is itself. Otherwise, let   be a product of nonunits. If this is not a product of irreducibles, then suppose that one of them is not irreducible, say  . Then obviously   so the principal ideals satisfy the relations  . We can factor   in the same way, to obtain   as a product of nonunits. Thus, if   cannot be factored into irreducibles, we can get an increasing chain   of principal ideals, meaning that it does not satisfy the ascending chain condition.
  3. Let   where r and s are units and each   and   are irreducible, and thus prime. Since   divides a, it divides one of the factors, and after suitably re-arranging the second factorization,   can divide  . However,   is irreducible, so they must be associates, and thus can be factored out and replaced by a unit. We can continue this process until there are no factors left, at which point we conclude that all the factors are associates.

Principal Ideal DomainsEdit

Definition: a principal ideal domain (PID) is an integral domain such that every ideal can be generated by a single element (i. e. every ideal is a principal ideal).

Theorem: All PIDs are UFDs.

Suppose we have an ascending chain of principal ideals   and let I be the union  . Obviously I is an ideal, and is a principal ideal because it is in a PID. Therefore, it is generated by a single element,  . Since  ,   for some N. Then if  , then we have  , so it satisfies the ascending chain condition of principal ideals.

Let an element   be irreducible. If  , then   would be a unit, so (a) must be a proper ideal. If there is no maximal proper ideal containing (a), then the ascending chain condition would not be satisfied, so we can conclude that there is a maximal ideal proper ideal I containing (a) (Note: This does not require the Zorn's lemma or axiom of choice, since we did not use the theorem on maximal ideals). This ideal must be a principal ideal (b), but since  , b|a, and since   is irreducible, b must either be a unit or an associate of a. Since (b) is a proper ideal, b must not be a unit, so it must be an associate of  . Therefore, (a)=(b), so (a) is maximal. However, all maximal ideals are clearly prime, so (a) is a prime ideal, which implies that   is prime.

Theorem: A UFD is a PID if and only if every nontrivial prime ideal is maximal.

Suppose R is a PID, so that consequently, it is a UFD. Let (a) be an ideal of R, which in turn must be contained in a maximal proper ideal (b) due to the ascending chain condition (Note: again, this does not make use of Zorn's lemma). Since  , b|a. Since   is irreducible, b must either be a unit or an associate of  . However, since (b) is a proper ideal, it must not be a unit, so it must be an associate of  . Therefore, (a)=(b), so (a) is maximal. Conversely,

Euclidean DomainsEdit

Definition: An integral domain R is a Euclidean domain (ED) if there is a function f from the nonzero elements of R to the whole numbers such that for any element   and any nonzero element b, that a=bq+r for some   and such that f(r)<f(b) or such that r=0.

Note: In an ED, the Euclidean algorithm to find the greatest common divisor is applicable.

Theorem: All EDs are PIDs.

Suppose we have an ideal of R. If it contains only 0, then it is principal. Otherwise, it contains elements other than 0. Then f(I), the image of I under f, is a nonempty set of nonnegative integers. Choose the minimum x of this set, and consider an element b within I which mapped to this x. Let a be another element of I, and there exists   such that a=qb+r and such that either f(r)<f(b) or r=0. Since both a and b belong to I, r must also belong to I since r=a-qb. However, f(b) is the minimum, so it must be less than or equal to f(r). Thus, r must be 0, so a=qb, proving that b is the generator of the principal ideal (b).