Periodic modular exponentiation

For a unit $a$ modulo $N$, the function $x\mapsto a^x\mathrm{mod}N$ is periodic on the integers.

Equality $a^x\equiv a^y(\mathrm{mod}N)$ holds exactly when the multiplicative order divides $x-y$, so one period contains no repeated values.