Abelian group structure of a circle