Reduced Residue System under Multiplication forms Abelian Group/Proof 3

Proof
Taking the finite group axioms in turn:

FG0: Closure
From Modulo Multiplication on Reduced Residue System is Closed:


 * $\left({\Z'_m, \times}\right)$ is closed.

FG1: Associativity
We have that Modulo Multiplication is Associative.

FG2: Finiteness
The order of $\left({\Z'_m, \times}\right)$ is $\phi \left({n}\right)$ by definition, where $\phi \left({n}\right)$ denotes the Euler $\phi$ function.

As $\phi \left({n}\right) < n$ it follows that $\left({\Z'_m, \times}\right)$ is of finite order.

FG3: Cancellability
We have that Modulo Multiplication on Reduced Residue System is Cancellable.

Thus all the finite group axioms are fulfilled, and $\left({\Z'_m, \times}\right)$ is a group.

It remains to note that Modulo Multiplication is Commutative to confirm that $\left({\Z'_m, \times}\right)$ is abelian.