apply a permutation to a point
compute the degree of a permutation
compute the order of a permutation
compute the parity of a permutation
compute the product of two permutations
compute the inverse of a permutation
compute the power of a permutation
compute the left quotient of two permutations
compute the right quotient of two permutations
compute the conjugate of two permutations
compute the commutator of two permutations
compute the cycle type of a permutation
compute the set of fixed points of a permutation
compute the support of a permutation
compare two permutations
PermApply( n, p )
PermDegree( p )
PermOrder( p )
PermParity( p )
PermProduct( p, q )
PermInverse( p )
PermPower( p, n )
PermLeftQuotient( p, q )
PermRightQuotient( p, q )
PermConjugate( p, q )
PermCommutator( p, q )
PermCycleType( p )
PermFixed( p )
PermSupport( p )
PermCompare( p, q )
Perm : permutations
integer : an integer
A permutation is a bijective mapping from the set1,2,…,n to itself, for some positive integer n.
The set of all such permutations forms the symmetric group of degree n, and subgroups of symmetric groups are permutation groups.
Permutations are typically represented as products of disjoint cycles, each of which is an orbit of the permutation. This is a list of the formc1,c2,…,ck in which each ci is itself a listi1,i2,…,im representing a cycle of the formi1↦i2↦im↦i1 .
The Perm constructor creates a permutation, given a specification of its disjoint cycle structure in the form of a list of lists. You can also use a permutation list, which is just the representation of the permutation as a list L of points in which L[ i ] specifies the image of i under the permutation.
The image of a point i under a permutation p is returned by the indexed expression p[ i ]. You can also use the procedure PermApply for this purpose. The expression PermApply( p, i ) returns the image of i under the permutation p. The PermApply command is primarily intended for use with procedures such as map and map2.
The procedures described in this help page operate on permutation objects returned by the Perm constructor, and are part of the GroupTheory package (whereas Perm itself is global).
The degree of a permutation is the number of points upon which it acts. The PermDegree( p ) command returns the degree of the permutation p.
The product of two permutations a and b can be computed by using the PermProduct( a, b ) command. Note that permutation multiplication is non-commutative; that is, in general, PermProduct( a, b ) and PermProduct( b, a ) are different. You can also compute the product of the permutations a and b by using the non-commutative multiplication operator `.`, as a . b.
The inverse of the permutation p is computed using the command PermInverse( p ). It can also be computed using the syntax p^(-1).
An integral power of a permutation p is computed using the command PermPower( p, n ), which computes the n-th power of p, defined in the natural way. You can also use the syntax p^n.
The PermOrder( p ) command computes the order of a permutation p. That is the least positive integer k for which p^k is the identity.
The identity permutation can be constructed using the expression Perm(  ).
Every permutation can be written as a product of transpositions, permutations which interchange exactly two points. Although this factorization is not unique, the number of transpositions in such a product is either always even or always odd. A permutation is said to be even (respectively, odd) according to whether is has a decomposition as a product of an even (respectively, odd) number of transpositions. An even permutation is defined to have parity equal to 1, while an odd permutation is defined to have parity equal to −1. (This defines a homomorphism from the full symmetric group onto the multiplicative group −1,1, whose kernel, consisting of the even permutations, is the alternating group.) The parity of a permutation p is returned by the PermParity( p ) command.
The left quotient p-1˙q of permutations p and q is computed using the PermLeftQuotient( p, q ) command. Similarly, the command PermRightQuotient( p, q ) computes the right quotient p˙q-1 of p and q.
The conjugate pq of p by q is defined to be p-1˙q˙p and may be computed by the PermConjugate( p, q ) command. The syntax p^q is also available for this computation.
The commutator of permutations p and q is defined to be the permutation p-1˙q-1˙p˙q and is computed using the command PermCommutator( p, q ).
The PermCycleType( p ) command returns the cycle type of the permutation p. This is defined to be the list consisting of the lengths of the cycles of p, in sorted order.
A point i is fixed by a permutation p if ip=i; its complement (in the domain of the permutation) is called the support of p. The set of fixed points of a permutation p is returned by the command PermFixed( p ), and the support of p is returned by the command PermSupport( p ).
The PermCompare( a, b ) command compares two permutations a and b, according to the lexicographic plus degree ordering. The PermCompare command is intended for use as the second argument in a a call to sort on a list of permutations.
a ≔ Perm⁡1,2,3,4,5
b ≔ Perm⁡1,3,2,6
a ≔ Perm⁡1,2,3;b ≔ Perm⁡1,2;c ≔ Perm⁡1,2,3,4,5
The GroupTheory[PermApply], GroupTheory[PermDegree], GroupTheory[PermOrder], GroupTheory[PermParity], GroupTheory[PermProduct], GroupTheory[PermInverse], GroupTheory[PermPower], GroupTheory[PermLeftQuotient], GroupTheory[PermRightQuotient], GroupTheory[PermConjugate], GroupTheory[PermCommutator], GroupTheory[PermCycleType], GroupTheory[PermFixed] and GroupTheory[PermSupport] commands were introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
The GroupTheory[PermCompare] command was introduced in Maple 2017.
For more information on Maple 2017 changes, see Updates in Maple 2017.
Download Help Document
What kind of issue would you like to report? (Optional)