Integers Modulo m under Multiplication form Commutative Monoid

Theorem

The structure:

$\struct {\Z_m, \times}$

(where $\Z_m$ is the set of integers modulo $m$) is a commutative monoid.

Proof

$\forall k \in \Z: \eqclass k m \eqclass 1 m = \eqclass k m = \eqclass 1 m \eqclass k m$

This identity is unique.

Thus all the conditions are fulfilled for this to be a commutative monoid.

$\blacksquare$