设 表示置换 permutation 表示为不相交循环的乘积时,长度为 的循环的数量。阶数为 ,次数为 的 permutation group 的循环指标 是一个关于 个变量 , , ..., 的多项式,由以下公式给出
(1)
|
permutation group 的循环指标实现为CycleIndexPolynomial[perm, x1, ..., xn],它返回一个关于 的多项式。对于任何 permutation ,数字 满足
(2)
|
因此构成整数 的一个 partition。值集 通常表示为 ,其中 遍历所有满足方程 (2) 的 -vectors。
最重要置换群(symmetric group ,alternating group ,cyclic group ,dihedral group 和 trivial group )的公式由以下给出
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
|