Integral Domains and Fields

In abstract algebra, we often classify rings to understand which ones behave like familiar number systems. The integers allow us to add, subtract, and multiply, but division is restricted. The rational numbers, however, allow division by any nonzero number. The concepts of integral domains and fields formalize this crucial distinction. Mastering these structures is essential for advancing in algebra, number theory, and algebraic geometry, as they provide the foundational language for discussing divisibility, solving equations, and constructing new number systems.

From Rings to Integral Domains

Our starting point is a commutative ring with unity. This is a set equipped with two operations, addition and multiplication, that behave like the integers: addition is associative and commutative, there is an additive identity (0) and additive inverses (negatives), multiplication is associative and commutative, there is a multiplicative identity (1), and multiplication distributes over addition.

The critical new idea is that of a zero divisor. In a ring, a nonzero element $a$ is called a zero divisor if there exists a nonzero element $b$ such that $ab=0$. For example, in the ring ${\mathbb{Z}}_6$ (integers modulo 6), the elements 2 and 3 are zero divisors because $2\cdot 3\equiv 0(\mathrm{mod}6)$, even though neither 2 nor 3 is zero itself. Zero divisors complicate algebra because they prevent the cancellation law: from $ab=ac$, you cannot conclude $b=c$ if $a$ might be a zero divisor.

An integral domain is a commutative ring with unity that has no zero divisors. Equivalently, it is a ring where the product of any two nonzero elements is always nonzero. The canonical example is the ring of integers, $\mathbb{Z}$. The absence of zero divisors means the cancellation law holds: if $a\ne 0$ and $ab=ac$, then $b=c$. This property makes integral domains the natural setting for discussing concepts of divisibility and factorization.

Fields: Rings with Perfect Division

A field takes the structure of an integral domain a significant step further. A field is a commutative ring with unity in which every nonzero element has a multiplicative inverse. That is, for every $a\ne 0$, there exists an element $a^{-1}$ such that $a\cdot a^{-1}=1$. This property means you can divide by any nonzero element, making the multiplicative structure as robust as the additive one.

Familiar examples include the rational numbers $\mathbb{Q}$, the real numbers $\mathbb{R}$, and the complex numbers $\mathbb{C}$. A less obvious but immensely important class of examples is finite fields, such as ${\mathbb{Z}}_p$, the integers modulo a prime $p$. In ${\mathbb{Z}}_7$, for instance, the inverse of 2 is 4 because $2\cdot 4=8\equiv 1(\mathrm{mod}7)$.

By definition, every field is automatically an integral domain. Why? If a field had zero divisors, say $ab=0$ with $a\ne 0$, you could multiply both sides by $a^{-1}$ to get $b=0$, a contradiction. Therefore, the set of fields is a subset of the set of integral domains. The central question becomes: when is an integral domain also a field?

The Fraction Field: Building a Field from Any Domain

Not every integral domain is a field. The integers $\mathbb{Z}$ are the prototypical example: 2 has no multiplicative inverse within $\mathbb{Z}$. However, we can systematically construct a field that contains $\mathbb{Z}$ and in which every nonzero integer does have an inverse. This construction is general.

Given any integral domain $D$, we can construct its field of fractions (or quotient field). The process mimics the construction of rational numbers from integers. We consider ordered pairs $(a,b)$ where $a,b\in D$ and $b\ne 0$. We think of this pair as representing a "fraction" $a/b$. We say two pairs $(a,b)$ and $(c,d)$ are equivalent if $ad=bc$ (this is where the cancellation law, guaranteed by the domain, is essential). The set of equivalence classes under this relation forms a field.

Addition and multiplication are defined in the familiar way: $$(a/b)+(c/d)=(ad+bc)/(bd)$$ $$(a/b)\cdot (c/d)=(ac)/(bd)$$

The zero element is $0/1$, the unity is $1/1$, and the inverse of a nonzero element $a/b$ is $b/a$. The original domain $D$ is embedded in this new field via the map $d\mapsto d/1$. The field of fractions of $\mathbb{Z}$ is $\mathbb{Q}$. For the integral domain of polynomials $\mathbb{R}[x]$, the field of fractions is the field of rational functions $\mathbb{R}(x)$.

A Key Theorem: Finite Integral Domains are Fields

One of the most elegant and important results in this area states: Every finite integral domain is a field. This theorem explains why, in modular arithmetic, ${\mathbb{Z}}_n$ is a field if and only if $n$ is prime. When $n$ is prime, ${\mathbb{Z}}_n$ is a finite integral domain (it has no zero divisors), and thus by this theorem, it must be a field. When $n$ is composite, ${\mathbb{Z}}_n$ has zero divisors and is not even an integral domain.

The proof is a beautiful application of the pigeonhole principle and properties of functions on finite sets. Let $D$ be a finite integral domain with unity $1$, and let $a$ be any nonzero element. Consider the map ${\mu }_a:D\to D$ defined by ${\mu }_a(x)=a\cdot x$.

• This map is injective: If ${\mu }_a(x)=$\mua(y)MATHINLINE61ax = ayMATHINLINE62a \neq 0MATHINLINE63DMATHINLINE64aMATHINLINE65_x = y$.
• Since $D$ is finite, an injective map from $D$ to itself must also be surjective.
• Surjectivity implies $a$ has an inverse: Because the map is onto, there exists some $x\in D$ such that ${\mu }_a(x)=a\cdot x=1$. This $x$ is precisely the multiplicative inverse $a^{-1}$.

Since we can find an inverse for every nonzero $a$, the finite integral domain $D$ satisfies the defining property of a field. This proof is constructive in spirit—the inverse of $a$ is the unique element you get by "solving" $ax=1$ within the set—and highlights the power of finiteness in algebra.

Common Pitfalls

1. Assuming all integral domains are fields. This is perhaps the most common conceptual error. While every field is an integral domain, the converse is false. $\mathbb{Z}$ and $\mathbb{Z}[x]$ (polynomials with integer coefficients) are classic examples of integral domains that are not fields. The property of having no zero divisors is necessary but not sufficient for being a field; the additional requirement that every element has a multiplicative inverse is very strong.

1. Confusing the role of the unity element. An integral domain must have a multiplicative identity (1). Structures without a unity, like the set of all even integers $2\mathbb{Z}$, can have no zero divisors but are not considered integral domains. This is a definitional nuance that matters for theorems (like the construction of the fraction field) to hold.

1. Overlooking the "commutative" requirement. Some texts define integral domains and fields as commutative by definition. Others define a more general "division ring" or "skew field" (where every nonzero element has an inverse, but multiplication may not be commutative). When we say "field," commutativity of multiplication is almost always assumed. The quaternions are an example of a non-commutative division ring that is not a field.

1. Misapplying the finite domain theorem. The theorem only applies to finite structures. You cannot conclude that the infinite integral domain $\mathbb{Z}[x]$ is a field. Conversely, the theorem provides a powerful shortcut for proving a finite ring is a field: simply verify it is an integral domain (check for commutativity, unity, and lack of zero divisors).

Summary

• An integral domain is a commutative ring with unity that contains no zero divisors. This guarantees the cancellation law: if $ab=ac$ and $a\ne 0$, then $b=c$.
• A field is a commutative ring with unity where every nonzero element possesses a multiplicative inverse. This allows unrestricted division. Every field is automatically an integral domain.
• From any integral domain $D$, you can construct its field of fractions (e.g., $\mathbb{Q}$ from $\mathbb{Z}$), which is the smallest field containing $D$.
• A profound and useful theorem states: Every finite integral domain is a field. This explains the fundamental difference between the ring ${\mathbb{Z}}_n$ for prime $n$ (a field) and for composite $n$ (not an integral domain).
• The hierarchy is strict: Fields $\subset$ Integral Domains $\subset$ Commutative Rings with Unity $\subset$ Rings. Understanding the properties that define each step is key to working effectively with algebraic structures.