GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

GroupTheory

  

CFSG

  

object classifying finite simple groups

 

Description

Methods

Examples

Compatibility

Description

• 

A CFSG object is a Maple object that classifies finite simple groups and is returned by the ClassifyFiniteSimpleGroup command. Its purpose is to give a "name" to a finite simple group according to the classification of finite simple groups.

Methods

• 

Objects of the CFSG support a number of methods, as follows.

• 

The Family( c ) command returns a string naming the family to which the group belongs.

• 

In some cases, the Subfamily( c ) command returns a string indicating a sub-family of some families of simple groups. This is the case for some of the sporadic finite simple groups, and for those finite simple groups of Lie type. In other cases, the Subfamily( c ) command just returns the value undefined, indicating that there is no sub-family involved.

• 

If the CFSG object c denotes a classical group, then the ClassicalSubfamily( c ) command returns a string indicating the type of classical group. For other groups of Lie type (or simple groups not of Lie type), it returns the value undefined.

• 

The Parameters( c ) command returns a list of parameters associated with the group, if any, or the value undefined in case there are none. In most cases, there are either one or two positive integer parameters describing the group within a family or sub-family of simple groups. For example, the parameter associated with an alternating group denotes the degree.

• 

The GroupOrder( c ) command returns the order of the group.

• 

The commands IsCyclic( c ), IsAlternating( c ), IsLieType( c ) and IsSporadic( c ) return true or false according to whether the CFSG object c represents a classifier belonging to the corresponding family. In addition, for CFSG objects representing simple groups of Lie type, the IsClassical( c ) command returns true if the classifier belongs to a family of classical groups.

Examples

withGroupTheory:

cClassifyFiniteSimpleGroupCyclicGroup541

cCFSG: Cyclic Group C541

(1)

typec,:-CFSG

true

(2)

Familyc

cyclic

(3)

The Subfamily is not defined for simple cyclic groups.

Subfamilyc

undefined

(4)

Parametersc

541

(5)

cClassifyFiniteSimpleGroupAlt22

cCFSG: Alternating Group A22

(6)

typec,:-CFSG

true

(7)

Familyc

alternating

(8)

Subfamilyc

undefined

(9)

Parametersc

22

(10)

Degreec

22

(11)

cClassifyFiniteSimpleGroupPSL4,3

cCFSG: Chevalley Group A33=PSL4,3

(12)

Familyc

Lie

(13)

Subfamilyc

A

(14)

ClassicalSubfamilyc

PSL

(15)

Parametersc

3,3

(16)

LieRankc

3

(17)

Dimensionc

4

(18)

cClassifyFiniteSimpleGroupRudvalisGroup

cCFSG: Sporadic Group Ru

(19)

Familyc

sporadic

(20)

Subfamilyc

Rudvalis

(21)

Parametersc

undefined

(22)

cClassifyFiniteSimpleGroupJankoGroup2

cCFSG: Sporadic Group J2

(23)

Familyc

sporadic

(24)

Subfamilyc

Janko

(25)

Parametersc

2

(26)

Compatibility

• 

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

• 

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

See Also

GroupTheory[AlternatingGroup]

GroupTheory[ClassifyFiniteSimpleGroup]

GroupTheory[IsSimple]

GroupTheory[IsSimpleNumber]

GroupTheory[JankoGroup]

GroupTheory[ProjectiveSpecialLinearGroup]

GroupTheory[RudvalisGroup]