Category:Cyclic Group is Abelian