Circle Group is Infinite Abelian Group

Theorem
The circle group $\struct {K, \times}$ is an uncountably infinite abelian group under the operation of complex multiplication.