PermutationOrder
PermutationOrder[perm]
给出置换 perm 的阶数.
范例
打开所有单元 关闭所有单元基本范例 (1)
范围 (1)
应用 (1)
阶数为2的群元称为对合. 如果一个群的所有元素(恒元除外) 的阶数是2,则这个群是阿贝尔的 (相反的含义不成立). 下面这个群是阿贝尔的:
group = PermutationGroup[{Cycles[{{1, 2}}], Cycles[{{3, 4}}]}]elems = GroupElements[group]PermutationOrder /@ elems该群是阿贝尔的因为它的乘法表是对称的. 所有群元的对合特征表现为对角线上的1:
GroupMultiplicationTable[group]//MatrixForm属性和关系 (6)
PermutationOrder[Cycles[{}]]perm = Cycles[{{2, 3, 5}, {1, 6, 7, 4, 10}, {8, 9}}];Length /@ First[perm]LCM@@%PermutationOrder[perm]perm = Cycles[{{1, 15, 8, 11, 3, 6, 13, 12, 4, 10, 7}, {2, 9}}];PermutationOrder[perm]GroupOrder[PermutationGroup[{perm}]]根据拉格朗日定理,一个有限群的每个群元的阶数整除该群的阶数. 但是,并非所有整除一个群的阶数的除数对应于某群元的阶. 以4 次交错群为例,其阶数为12,因此除数有6、3、2:
GroupOrder[group = AlternatingGroup[4]]GroupElements[group]PermutationOrder /@ %科西定理告诉我们,对于群的阶数的每一个素数除数,群中就有一个以该素数为阶数的群元. 以 7 次交错群为例:
group = AlternatingGroup[7]GroupOrder[group]//FactorIntegerUnion[PermutationOrder /@ GroupElements[group]]GroupElements[group][[{4, 2, 17, 437}]]PermutationOrder /@ %Tally[PermutationOrder /@ GroupElements[SymmetricGroup[5]]]f6 = Exp[Sum[x ^ d / d, {d, Rest@Divisors[6]}]]D[f6, {x, 5}] /. x -> 0技术笔记
-
▪
- 置换
相关指南
-
▪
- 置换
文本
Wolfram Research (2010),PermutationOrder,Wolfram 语言函数,https://reference.wolfram.com/language/ref/PermutationOrder.html.
CMS
Wolfram 语言. 2010. "PermutationOrder." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/PermutationOrder.html.
APA
Wolfram 语言. (2010). PermutationOrder. Wolfram 语言与系统参考资料中心. 追溯自 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: 02-November-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: 02-November-2026]}