Mathwords logoMathwords

Integral Domain — Definition, Formula & Examples

An integral domain is a commutative ring with a multiplicative identity (1 ≠ 0) where the product of two nonzero elements is always nonzero. In other words, you can never multiply two nonzero things together and get zero.

A commutative ring (R,+,⋅)(R, +, \cdot) with unity 1R≠0R1_R \neq 0_R is called an integral domain if for all a,b∈Ra, b \in R, the condition ab=0ab = 0 implies a=0a = 0 or b=0b = 0. Equivalently, RR has no zero divisors.

How It Works

To verify that a ring is an integral domain, check three things: commutativity of multiplication, the existence of a multiplicative identity distinct from zero, and the absence of zero divisors. The no-zero-divisor condition is the defining feature — it guarantees a cancellation law holds, meaning if ac=bcac = bc and c≠0c \neq 0, then a=ba = b. This property makes integral domains behave much more like the familiar integers than arbitrary rings do.

Worked Example

Problem: Determine whether the ring Z6\mathbb{Z}_6 (integers modulo 6) is an integral domain.
Step 1: Check for zero divisors by looking for nonzero elements whose product is 0 mod 6.
2⋅3=6≡0(mod6)2 \cdot 3 = 6 \equiv 0 \pmod{6}
Step 2: Both 2 and 3 are nonzero in Z6\mathbb{Z}_6, yet their product is 0. This means 2 and 3 are zero divisors.
Answer: Z6\mathbb{Z}_6 is not an integral domain because it contains zero divisors (for example, 2 and 3).

Why It Matters

Integral domains are the natural setting for polynomial factorization and divisibility theory, extending familiar properties of the integers to broader algebraic structures. Every field is an integral domain, and every finite integral domain is a field — a foundational result in abstract algebra. These structures appear throughout algebraic number theory and algebraic geometry when studying coordinate rings of varieties.

Common Mistakes

Mistake: Assuming Zn\mathbb{Z}_n is always an integral domain for any nn.
Correction: Zn\mathbb{Z}_n is an integral domain if and only if nn is prime. When nn is composite, say n=abn = ab with 1<a,b<n1 < a, b < n, the elements aa and bb are zero divisors.