Reduced Residue System under Multiplication forms Abelian Group

Theorem
Let $\Z_m$ be the set of set of residue classes modulo $m$.

Let $\struct {\Z'_m, \times}$ denote the multiplicative group of reduced residues modulo $m$.

Then $\struct {\Z'_m, \times}$ is an abelian group, precisely equal to the group of units of $\Z_m$.