The IsFinite command attempts to determine whether the group G is finite.

For permutation groups and Cayley table groups this is simply a property of the class of the group, but for matrix groups and finitely presented groups the question is algorithmically undecidable, in general. Nevertheless, the IsFinite command attempts to determine whether the group is finite or infinite, and returns true or false, respectively, if it can determine the answer.  If IsFinite cannot determine whether the input group G is finite, it returns the value FAIL.

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

$\mathrm{IsFinite}\left(\mathrm{Alt}\left(4\right)\right)$

$\mathrm{true}$

$\mathrm{IsFinite}\left(\mathrm{CyclicGroup}\left(\mathrm{\infty }\right)\right)$

$\mathrm{false}$

The GroupTheory[IsFinite] command was introduced in Maple 17.

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