Modulus 1 Rational Argument Complex Numbers under Multiplication form Infinite Abelian Group

Theorem
Let $S$ be the set defined as:
 * $S = \set {\cos \theta + i \sin \theta: \theta \in \Q}$

Then the algebraic structure $\struct {S, \times}$ is an infinite abelian group.

Proof
By definition of polar form of complex numbers, the elements of $S$ are also elements of the circle group $\left({K, \times}\right)$:
 * $K = \set {z \in \C: \cmod z = 1}$

$S$ is infinite by construction.

Thus $S \subseteq C$ and trivially $S \ne \varnothing$.

Let $a, b \in S$.

Then:
 * $a = \cos \theta_1 + i \sin \theta_1$

and:
 * $b = \cos \theta_2 + i \sin \theta_2$

for some $\theta_1, \theta_2 \in \Q$.

We have that:

and:

Hence by the Two-Step Subgroup Test, $\left({S, \times}\right)$ is a subgroup of $\struct {K, \times}$.

It has been established that $S$ is an infinite set.

Hence by definition $\struct {S, \times}$ is an infinite group.

Finally, from Subgroup of Abelian Group is Abelian, $\struct {S, \times}$ is an abelian group.