Tour:Equivalence of definitions of cyclic group