GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

GroupTheory

  

PermutationGroup

  

create a permutation group data structure

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

PermutationGroup(permutations, degreeopt, sgopt)

PermutationGroup(gp)

Parameters

permutations

-

set, list, or sequence of permutations represented as disjoint cycles, optionally with names

degreeopt

-

(optional) equation of the form degree=n where n is a nonnegative integer; number of letters on which the permutation group acts

sgopt

-

(optional) equation of the form supergroup=g where g is a supergroup of the group to be constructed; constructs the given group as a subgroup of g

gp

-

group data structure

Description

• 

The PermutationGroup command creates a permutation group data structure. Permutation groups are implemented relatively efficiently, and if there is a natural permutation representation of a group you might want to compute with, this is the implementation of choice.

• 

The first calling sequence above uses the following arguments. The first argument consists of permutations generating the group. Each permutation is given as a list of disjoint cycles; each cycle is represented by a list of its elements. If the degree is not given, it defaults to the largest point moved by any of the generating permutations.

  

Optionally, generating permutations can be given by equations of the form name=permutation. The permutations themselves are given in disjoint cycle notation, as before. This associates a name to each permutation, which can be retrieved using the Labels command. If any generators are named, Maple automatically generates names for the generators for which no name is given.

  

You can optionally use an sgopt argument - an equation of the form supergroup=g - to indicate a supergroup that the given group is a subgroup of. The given generators should be members of g. Maple performs a superficial (but not exhaustive) test to check if this is the case if a supergroup is specified. If no supergroup is specified or the user specifies supergroup=undefined, then Maple does not mark the resulting group as a subgroup of any particular group.

• 

The second calling sequence takes a group data structure constructed by the GroupTheory package and converts it to a permutation group. The names given to the generators of the result, retrievable using the Labels command, are their preimages in gp.

Examples

withGroupTheory:

g1PermutationGroup1,2,1,2,3,4,5

g11,2,1,2,34,5

(1)

GroupOrderg1

12

(2)

g2PermutationGroupa=1,2,b=1,2,3,4,5,degree=6,supergroup=PermutationGroup1,2,1,2,3,4,5,6

g21,2,1,2,34,5

(3)

g3Group1|2|3|4,2|1|4|3,3|4|1|2,4|3|2|1,labels=a,b,c,d

g3 < a Cayley table group with 4 elements >

(4)

PermutationGroupg3

1&comma;23&comma;4&comma;1&comma;32&comma;4&comma;1&comma;42&comma;3

(5)

Compatibility

• 

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

• 

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

See Also

GroupTheory

GroupTheory/references

GroupTheory[CayleyTableGroup]

GroupTheory[CustomGroup]

GroupTheory[FPGroup]

GroupTheory[Group]

GroupTheory[Subgroup]