$\mathbb{Z}/p\mathbb{Z}$ 成为域的充要条件

($\Leftarrow$) 设 $p$ 是素数,任取非零剩余类 $\bar{a} \in \mathbb{Z}/p\mathbb{Z}$,由满足 $1 \le a \le p - 1$ 的整数 $a$ 代表。由于 $p$ 是素数且 $p \nmid a$,$a$ 与 $p$ 的最大公因数为 $\gcd(a,p) = 1$。

由裴蜀恒等式,存在整数 $u, v \in \mathbb{Z}$ 使得 $au + pv = 1$。两边模 $p$ 约化后消去倍数 $pv$,在 $\mathbb{Z}/p\mathbb{Z}$ 中剩下 $\bar{a}\,\bar{u} = \bar{1}$。因此 $\bar{u} = \bar{a}^{-1}$ 就是 $\bar{a}$ 的乘法逆元;由于每个非零元都可逆,$\mathbb{Z}/p\mathbb{Z}$ 是域。

($\Rightarrow$) 反之,设 $p$ 是合数,即存在整数 $1 < b, c < p$ 使得 $p = bc$。因为 $b$ 和 $c$ 严格介于 $0$ 与 $p$ 之间,它们的剩余类 $\bar{b}$ 与 $\bar{c}$ 在 $\mathbb{Z}/p\mathbb{Z}$ 中皆非零,但它们的乘积却是 $\bar{b}\,\bar{c} = \overline{bc} = \bar{p} = \bar{0}$。

于是 $\bar{b}$ 是零因子,而任何零因子都不可能有乘法逆元:若 $\bar{b}$ 有逆元 $\bar{b}^{-1}$,在 $\bar{b}\,\bar{c} = \bar{0}$ 左边乘以 $\bar{b}^{-1}$ 就会迫使 $\bar{c} = \bar{0}$,矛盾。故当 $p$ 为合数时,$\mathbb{Z}/p\mathbb{Z}$ 不是域。