Modular Arithmetic

Modular Arithmetic

For an integer $p$, we can define $x \pmod{p} = z \pmod{p}$ to mean $p \vert (x - z)$. Often, for any number $x$ we represent it with the unique remainder $x'$ where $0 \leq x' \lt p$. So,

$$x \pmod{p} \equiv x'.$$

We say that $x \equiv y \pmod{m}$ to say that the remainder of $x$ and $y$ after division by $m$ is the same, not that $x$ equals $y$.