classify a finite simple group
ClassifyFiniteSimpleGroup( G )
ClassifyFiniteSimpleGroup( n )
a finite simple group
a positive integer; the order of a finite simple group
The ClassifyFiniteSimpleGroup( G ) command returns an object of type CFSG describing the classification of the finite simple group G as belonging to one of several families of finite simple groups as described below.
Since much of the classification depends solely on the order of G, you can also use a positive integer n that is the order of some finite simple group. In this case, if there are two possibilities (and there are at most two for any given order), an expression sequence of CFSG objects is returned describing the two possibilities.
The returned CFSG object c supports several methods that you can use to query the object for information about how the given group fits into the classification of finite simple groups. See CFSG for details on these methods, and for more information about the classification itself.
If the group G is not simple, or if the positive integer n is not the order of a finite simple group, then an exception is raised.
By default, the ClassifyFiniteSimpleGroup checks that the input group is simple. Since this can be expensive for a large group, if you know that your group is simple, you can avoid this check by passing the check = false option. This has no effect when the first argument is an integer n.
CFSG: Alternating Group A5
CFSG: Alternating Group A8
CFSG: Alternating Group A500
CFSG: Chevalley Group A2⁡4=PSL⁡3,4
CFSG: Cyclic Group C17
CFSG: Sporadic Group He
CFSG: Chevalley Group D5⁡2=PΩ+⁡10,2
CFSG: Cyclic Group C541
CFSG: Sporadic Group
The alternating group of degree 4 is not simple, so the following command raises an exception.
Error, (in GroupTheory:-ClassifyFiniteSimpleGroup) group is not simple
The check = false option can be useful in a situation like the following.
Error, (in GroupTheory:-IsSimple) cannot determine whether a general finitely presented group is simple; try converting to a permutation group
Alternatively since, in this case, the group is small, you could convert it to a permutation group, as follows.
The GroupTheory[ClassifyFiniteSimpleGroup] command was introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
Download Help Document
What kind of issue would you like to report? (Optional)