主題
Search

對群


G 的對群作用於 2-子集 {1,...,p},其 置換G 誘導。對群可以使用以下命令計算PairGroup[g] 在 Wolfram 語言 程式包中Combinatorica` .

S_p 誘導的對群的迴圈指標

 Z(S_p^((2)))=1/(p!)sum_((j))h_(j)product_(n=0)^(|_(p-1)/2_|)a_(2n+1)^(nj_(2n+1)+(2n+1)(j_(2n+1); 2))product_(n=1)^(|_p/2_|)[(a_na_(2n))^(n-1)]^(j_(2n))a_(2n)^(2n(j_(2n); 2))product_(q=1)^pproduct_(r=q+1)^pa_(LCM(q,r))^(j_qj_rGCD(q,r))
(1)

(Harary 1994, p. 185)。這裡,|_x_|向下取整函式(n; m)二項式係數,LCM 是 最小公倍數,GCD 是 最大公約數求和 (j) 遍歷 迴圈指標 Z(S_p) 的所有指數向量,對稱群 S_p,以及 h_(j)Z(S_p) 中具有指數向量 j_p 的項的係數。Z(S_p^((2))) 的前幾個值為

Z(S_1^((2)))=1
(2)
Z(S_2^((2)))=a_1
(3)
Z(S_3^((2)))=1/6a_1^3+1/2a_1a_2+1/3a_3
(4)
Z(S_4^((2)))=1/(24)a_1^6+3/8a_1^2a_2^2+1/3a_3^2+1/4a_2a_4
(5)
Z(S_5^((2)))=1/(120)a_1^(10)+1/(12)a_1^4a_2^3+1/8a_1^2a_2^4+1/6a_1a_3^3+1/4a_2a_4^2+1/5a_5^5.
(6)

這些可以透過以下方式給出PairGroup[SymmetricGroup[n], x] 在 Wolfram 語言 程式包中Combinatorica` .


參見

對群廣群, 有根圖, 簡單圖

使用 探索

參考文獻

Harary, F. Graph Theory. Reading, MA: Addison-Wesley, p. 185, 1994.Pemmaraju, S. and Skiena, S. Computational Discrete Mathematics: Combinatorics and Graph Theory in Mathematica. Cambridge, England: Cambridge University Press, p. 125, 2003.

在 上被引用

對群

請引用為

Weisstein, Eric W. "對群。" 來自 Web 資源。 https://mathworld.tw/PairGroup.html

學科分類