JankoGroup - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


GroupTheory

  

JankoGroup

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

JankoGroup( n, opts )

Parameters

n

-

: {1,2,3,4} : integer indicating which Janko group to construct

opts

-

option of the form form = "permgroup" or form = "fpgroup"

Description

• 

The Janko groups , ,  and  are four of the sporadic simple groups.  The first Janko group  was the first sporadic simple group to be discovered (in 1965, by Zvonimir Janko) since the Mathieu groups were discovered in the nineteenth century.  Janko predicted the existence of the remaining Janko groups, which were later proved to exist by others.

• 

Three of the Janko groups (all except ) are pariahs: they do not occur as subquotients of the Monster. The group  is also called the Hall-Janko group or the Hall-Janko-Wales group; its existence was proven by Marshall Hall Jr. and David Wales in 1968. The third Janko group  was shown to exist in 1969 by Graham Higman and John McKay. Simon Norton proved that the fourth Janko group  exists in 1980.

• 

The JankoGroup( n ) command returns a permutation group, or a finitely presented group, isomorphic to the Janko group , for n = 1, 2, 3, 4.

• 

For n = 1, 2, 3, you may specify either form = "permgroup" (the default) or form = "fpgroup". The fourth Janko group  is not available as a permutation group in the current version of Maple. Thus, for n=4, form="fpgroup" is the default.

• 

In the Standard Worksheet interface, you can insert this group into a document or worksheet by using the Group Constructors palette.

Examples

(1)

(2)

(3)

(4)

(5)

(6)

(7)

Compatibility

• 

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

• 

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

See Also

GroupTheory[Degree]

GroupTheory[GroupOrder]

GroupTheory[IsSimple]

GroupTheory[Relators]

 


Download Help Document