群 的對群作用於 2-子集
,其 置換 由
誘導。對群可以使用以下命令計算PairGroup[g] 在 Wolfram 語言 程式包中Combinatorica`
.
由 誘導的對群的迴圈指標為
|
(1)
|
(Harary 1994, p. 185)。這裡, 是 向下取整函式,
是 二項式係數,LCM 是 最小公倍數,GCD 是 最大公約數,求和
遍歷 迴圈指標
的所有指數向量,對稱群
,以及
是
中具有指數向量
的項的係數。
的前幾個值為
|
(2)
| |||
|
(3)
| |||
|
(4)
| |||
|
(5)
| |||
|
(6)
|
這些可以透過以下方式給出PairGroup[SymmetricGroup[n], x] 在 Wolfram 語言 程式包中Combinatorica` .