\begin{definition}[Definition:Multiplicative Monoid of Integers Modulo m]
Let $m \in \Z$ such that $m > 1$.
The '''multiplicative monoid of integers modulo $m$''' $\struct {\Z_m, \times_m}$ is the set of integers modulo $m$ under the operation of multiplication modulo $m$.
\end{definition}