A group $G$ is cyclic if it can be generated by a single element.

The IsCyclic( G ) command attempts to determine whether the group G is cyclic.  It returns true if G is cyclic and returns false otherwise. The command may return FAIL on (most) finitely presented groups.

$\mathrm{with}\left(\mathrm{GroupTheory}\right)\:$

$G≔\mathrm{SmallGroup}\left(6\,1\right)\:$

$\mathrm{IsCyclic}\left(G\right)$

$\mathrm{false}$

$\mathrm{IsCyclic}\left(\mathrm{SmallGroup}\left(6\,2\right)\right)$

$\mathrm{true}$

$G≔⟨a|a^6=1⟩$

$G≔⟨a\mid a^6⟩$

$\mathrm{IsCyclic}\left(G\right)$

$\mathrm{true}$

The GroupTheory[IsCyclic] command was introduced in Maple 2015.

For more information on Maple 2015 changes, see Updates in Maple 2015.