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.

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

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{Alt}\left(5\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Alternating Group}{\mathbf{A}}_5⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{Alt}\left(8\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Alternating Group}{\mathbf{A}}_8⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{Alt}\left(500\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Alternating Group}{\mathbf{A}}_{500}⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{PSL}\left(3\,4\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Chevalley Group}{A}_2\left(4\right)\=\mathrm{PSL}\left(3\,4\right)⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{CyclicGroup}\left(17\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Cyclic Group}{C}_{17}⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{HeldGroup}\left(\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Sporadic Group}\text{He}⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{OrthogonalGroup}\left(''O10+(2)''\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Chevalley Group}{\mathrm{D}}_5\left(2\right)\={\mathrm{P\Ω}}^{+}\left(10\,2\right)⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{ithprime}\left(100\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Cyclic Group}{C}_{541}⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(2^{41}{3}^{13}{5}^6{7}^2\cdot 11\cdot 13\cdot 17\cdot 19\cdot 23\cdot 31\cdot 47\right)$

$⟨\mathbf{\text{CFSG:}}\text{Sporadic Group}\text{}⟩$

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

Error, (in GroupTheory:-ClassifyFiniteSimpleGroup) group is not simple

$G≔⟨⟨a\,b⟩|⟨a^2\,b^3\,{\left(a·b\right)}^5=1⟩⟩$

$G≔⟨a\,b\mid a^2\,b^3\,ababababab⟩$

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

Error, (in GroupTheory:-IsSimple) cannot determine whether a general finitely presented group is simple; try converting to a permutation group

$\mathrm{ClassifyFiniteSimpleGroup}\left(G\,'\mathrm{check}'=\mathrm{false}\right)$

$⟨\mathbf{\text{CFSG:}}\text{Alternating Group}{\mathbf{A}}_5⟩$

$\mathrm{ClassifyFiniteSimpleGroup}\left(\mathrm{PermutationGroup}\left(G\right)\right)$

$⟨\mathbf{\text{CFSG:}}\text{Alternating Group}{\mathbf{A}}_5⟩$

The GroupTheory[ClassifyFiniteSimpleGroup] command was introduced in Maple 2020.

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