create a permutation group data structure
PermutationGroup(permutations, degreeopt, sgopt)
set, list, or sequence of permutations represented as disjoint cycles, optionally with names
(optional) equation of the form degree=n where n is a nonnegative integer; number of letters on which the permutation group acts
(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
group data structure
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.
g1 ≔ PermutationGroup⁡1,2,1,2,3,4,5
g2 ≔ PermutationGroup⁡a=1,2,b=1,2,3,4,5,'degree'=6,'supergroup'=PermutationGroup⁡1,2,1,2,3,4,5,6
g3 ≔ Group⁡1|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 >
The GroupTheory[PermutationGroup] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
Download Help Document