Integers modulo a prime form a field

Remarks

The proof: if $\overline{a} \neq \overline{0}$, then $p \nmid a$, so $\gcd(a, p) = 1$. Bézout's identity gives $a x + p y = 1$, and then $\overline{a} \cdot \overline{x} = \overline{1}$. The converse holds: if $n > 1$ is composite, with $n = a b$ and $1 < a, b < n$, then $\overline{a} \cdot \overline{b} = \overline{0}$, so $\mathbb{Z}/n\mathbb{Z}$ is not a field. The field $\mathbb{Z}/p\mathbb{Z}$ is often written $\mathbb{F}_p$ or $\mathrm{GF}(p)$. It is the finite field with $p$ elements.