# 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$.
Thus multiplication modulo $m$ is: