Circle Group is Infinite Abelian Group

Theorem
Let $K$ be the set of all complex numbers of unit modulus:


 * $K = \left\{{z \in \C: \left|{z}\right| = 1}\right\}$

Then the circle group $\left({K, \times}\right)$ is an infinite abelian group under the operation of complex multiplication.