Why Is Every Finite Integral Domain a Field?

A finite integral domain is always a field, under the standard convention that an integral domain is a commutative ring with identity $1 \ne 0$ and no zero divisors. The key point is that in a finite set, an injective function from the set to itself must also be surjective. Apply that fact to multiplication by any nonzero element.

The proof

Let $D$ be a finite integral domain, and choose any $a \in D$ with $a \ne 0$. Consider the function

$$f_a : D \to D, \qquad f_a(x)=ax.$$

First, show that $f_a$ is injective. If $f_a(x)=f_a(y)$, then

$$ax=ay \quad\Longrightarrow\quad a(x-y)=0.$$

Because $D$ has no zero divisors and $a \ne 0$, it follows that $x-y=0$, so $x=y$. Thus distinct elements of $D$ have distinct products when multiplied by $a$.

Now use finiteness. The function $f_a$ maps the finite set $D$ to itself. An injective map from a finite set to itself is surjective: it has as many distinct outputs as there are inputs, so it must reach every element of $D$. In particular, it reaches the identity $1$. Therefore, there is some $b \in D$ such that

$$f_a(b)=ab=1.$$

So $a$ has a multiplicative inverse. Since $a$ was an arbitrary nonzero element, every nonzero element of $D$ is invertible. That is exactly the additional property needed for an integral domain to be a field.

A concrete example: arithmetic modulo 7

The integers modulo 7 form a finite integral domain, written $\mathbb{Z}/7\mathbb{Z}$. To see the inverse argument at work, take $a=3$. Multiplication by 3 sends the residue classes as follows:

$x$	$3x$ modulo 7
0	0
1	3
2	6
3	2
4	5
5	1
6	4

Every residue class appears as an output, including 1. In fact, $3 \cdot 5 \equiv 1 \pmod 7$, so 5 is the inverse of 3 modulo 7. The proof guarantees that this happens for every nonzero residue class, not just 3.

More generally, $\mathbb{Z}/n\mathbb{Z}$ is a field when $n$ is prime. If $n$ is composite, it has nonzero zero divisors: for example, modulo 6, $2 \cdot 3 \equiv 0$. Thus $\mathbb{Z}/6\mathbb{Z}$ is not an integral domain and the theorem does not apply.

Why finiteness matters

An infinite integral domain need not be a field. The integers $\mathbb{Z}$ are an integral domain, but 2 has no multiplicative inverse in $\mathbb{Z}$: there is no integer $b$ with $2b=1$. The injectivity argument still works for multiplication by 2, but the step from injective to surjective fails for infinite sets. For instance, multiplying integers by 2 never produces an odd integer.

Common mistakes

• Stopping after proving injectivity. Injectivity alone does not give an inverse. The crucial next step is that an injective self-map of a finite set is surjective, which makes 1 an output.
• Assuming every finite ring is a field. A finite ring can have zero divisors, as $\mathbb{Z}/6\mathbb{Z}$ shows. The theorem requires an integral domain.
• Forgetting the identity convention. The standard definition used here includes a multiplicative identity distinct from zero. Without that convention, the statement needs extra qualifications.
• Changing the meaning of “domain.” In standard introductory algebra, an integral domain is commutative. Noncommutative rings without zero divisors require a different statement and, in the finite case, a deeper theorem to conclude commutativity.

The argument is useful whenever you can define a multiplication map on a finite domain: prove it is injective using cancellation, then use finiteness to obtain surjectivity and an inverse.