Complex Numbers under Multiplication form Monoid

Theorem
The set of complex numbers under multiplication $\struct {\C, \times}$ forms a monoid.

Proof
Taking the monoid axioms in turn:

Complex Multiplication is Closed.

Complex Multiplication is Associative.

Complex Multiplication Identity is $1$.

Hence the result.