Non-Zero Complex Numbers under Multiplication form Infinite Abelian Group

Theorem
Let $$\mathbb{C}^*$$ be the set of complex numbers without Zero, i.e. $$\mathbb{C}^* = \mathbb{C} - \left\{{0}\right\}$$.

The structure $$\left({\mathbb{C}^*, \times}\right)$$ is an infinite abelian group.

Proof
Taking the group axioms in turn:

G0: Closure
Complex Multiplication is Closed.

G1: Associativity
Complex Multiplication is Associative.

G2: Identity
The identity element of $$\left({\mathbb{C}^*, \times}\right)$$ is the complex number $$1 + 0 \imath$$:

$$ $$

and similarly:

$$ $$

G3: Inverses
The inverse of $$x + \imath y \in \left({\mathbb{C}^*, \times}\right)$$ is $$\frac {x - \imath y} {x^2 + y^2}$$:

$$ $$ $$

Similarly for $$\frac {x - \imath y} {x^2 + y^2} \left({x + \imath y}\right)$$.

C: Commutativity
Complex Multiplication is Commutative.

Infinite
Complex Numbers are Infinite.