Definition. A cyclic group is a group that can be generated by a single element (the group generator). Cyclic groups are Abelian.

If a group has order $p$, a Prime number, then it is cyclic. This can be seen from Lagrange's theorem.