Definition:Multiplicative Monoid of Integers Modulo m

Definition
Let $m \in \Z$ such that $m > 1$.

The multiplicative monoid of integers modulo $m$ $\left({\Z_m, \times_m}\right)$ is the set of integers modulo $m$ under the operation of multiplication modulo $m$.

Also see

 * Integers Modulo m under Multiplication form Commutative Monoid

Thus multiplication modulo $m$ is:


 * Well-defined on $\Z_m$
 * Closed on $\Z_m$
 * Associative on $\Z_m$
 * Commutative on $\Z_m$
 * The identity of $\left({\Z_m, \times_m}\right)$ is $\left[\!\left[{1}\right]\!\right]_m$.