GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : GroupTheory/IsFinite

GroupTheory

  

IsFinite

  

determine whether a group is finite

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

IsFinite( G )

Parameters

G

-

a group data structure

Description

• 

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.

Examples

withGroupTheory:

IsFiniteAlt4

true

(1)

IsFiniteCyclicGroup

false

(2)

Compatibility

• 

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

• 

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

See Also

GroupTheory[AlternatingGroup]

GroupTheory[CyclicGroup]