PermutationOrder[perm]
gives the order of permutation perm.
PermutationOrder
PermutationOrder[perm]
gives the order of permutation perm.
Examples
open all close allBasic Examples (1)
Scope (1)
Applications (1)
Group elements with order 2 are called involutions. If all elements of a group (except the identity) have order 2, then the group is Abelian (the opposite implication does not hold). This group is Abelian:
group = PermutationGroup[{Cycles[{{1, 2}}], Cycles[{{3, 4}}]}]elems = GroupElements[group]PermutationOrder /@ elemsThe group is Abelian because its multiplication table is symmetric. The involution character of all group elements is expressed by the diagonal of 1s:
GroupMultiplicationTable[group]//MatrixFormProperties & Relations (6)
The order of the identity permutation is defined to be 1:
PermutationOrder[Cycles[{}]]The order of a permutation can be computed as the least common multiple of the lengths of its cycles:
perm = Cycles[{{2, 3, 5}, {1, 6, 7, 4, 10}, {8, 9}}];Length /@ First[perm]LCM@@%PermutationOrder[perm]The order of a permutation equals the order of the cyclic group generated by that permutation:
perm = Cycles[{{1, 15, 8, 11, 3, 6, 13, 12, 4, 10, 7}, {2, 9}}];PermutationOrder[perm]GroupOrder[PermutationGroup[{perm}]]By Lagrange's theorem, the order of each element of a finite group divides the order of the group. However, not all divisors of the order of a group correspond to the order of some element in the group. Take the alternating group of degree 4, which has order 12, and hence divisors 6, 3, 2:
GroupOrder[group = AlternatingGroup[4]]There is no permutation with order 6:
GroupElements[group]PermutationOrder /@ %Cauchy's theorem states that for every prime divisor of the order of a group, there is an element in the group with that order. Take the alternating group of degree 7:
group = AlternatingGroup[7]These are the factorization of the order and the orders present:
GroupOrder[group]//FactorIntegerUnion[PermutationOrder /@ GroupElements[group]]These are examples of permutations of the 4 prime orders:
GroupElements[group][[{4, 2, 17, 437}]]PermutationOrder /@ %Numbers of permutations in
with different orders:
Tally[PermutationOrder /@ GroupElements[SymmetricGroup[5]]]Generating function of order 6, for all symmetric groups:
f6 = Exp[Sum[x ^ d / d, {d, Rest@Divisors[6]}]]Number of permutations in
with order 6:
D[f6, {x, 5}] /. x -> 0See Also
Cycles PermutationPower PermutationProduct InversePermutation
Function Repository: ShuffleOrder
Tech Notes
Related Guides
History
Text
Wolfram Research (2010), PermutationOrder, Wolfram Language function, https://reference.wolfram.com/language/ref/PermutationOrder.html.
CMS
Wolfram Language. 2010. "PermutationOrder." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/PermutationOrder.html.
APA
Wolfram Language. (2010). PermutationOrder. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/PermutationOrder.html
BibTeX
@misc{reference.wolfram_2026_permutationorder, author="Wolfram Research", title="{PermutationOrder}", year="2010", howpublished="\url{https://reference.wolfram.com/language/ref/PermutationOrder.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_permutationorder, organization={Wolfram Research}, title={PermutationOrder}, year={2010}, url={https://reference.wolfram.com/language/ref/PermutationOrder.html}, note=[Accessed: 13-June-2026]}