- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
《组合数学第四章
4.4 Burnside引理 (3)等价类 举一个例子。G={(1)(2)(3)(4),(12),(34),(12)(34)}.在G下,1变2,3变4,但1不变3。Z1=Z2={e,(34)}, Z3=Z4={e,(12)}. 对于A4, Z1={e,(234),(243)},Z2={e,(134),(143)} Z3={e,(124),(142)},Z4={e,(123),(132)} 一般[1,n]上G将[1,n]分成若干等价类,满足等价类的3个条件.(a)自反性;(b)对称性;(c)传递性。 如第一个例子中,共有两个等价类:{1,2},{3,4} 4.4 Burnside引理 一个由G定义的关系k: 若存在p∈G,使得k→j则称kRj.显然kRk;kRj则jRk;kRj,jRl则kRl。R是[1,n]上的一个等价关系。将[1,n]划分成若干等价类。 含目标集元素k的在G作用下的等价类也称为含k的轨道。 p 4.4 Burnside引理 定理 设G是[1,n]上的一个置换群,Ek是[1,n]在G的作用下包含k的等价类(轨道),Zk是k不动置换类。有|Ek||Zk|=|G|. 证 设|Ek|=m,Ek={a1(=k),a2,…,am},于是存在pi满足 a1→ai,i=1,2,…,m. 令 P={p1,p2,…,pm},(是集合不一定是群.) 令Gi=Zkpi,i=1,2,…,m. Gi包含于G(G关于Zk的陪集分解)i≠j,Gi∩Gj=Φ. G1+G2+…+Gm包含于G. 另一方面,任意P∈G. k→aj→k PPj ∈Zk, P∈ZkPj=Gj. · · · -1 Pj -1 P pi 4.4 Burnside引理 ∴G包含于G1+…+Gm.从而,G=G1+G2+…+Gm. |G|=|G1|+|G2|+…+|Gm|=|Zk|·m= |Zk|·|Ek| · · · · · 4.4 Burnside引理 (4)Burnside引理 设G={a1,a2,…ag}是目标集[1,n]上的置换群。每个置换都写成不相交循环的乘积。G将[1,n]划分成若干个等价类。C1(ak)是在置换ak的作用下不动点的个数,也就是长度为1的循环的个数。 Burnside引理 设G={a1,a2,…ag}是目标集[1,n]上的置换群,则G在N上引出的不同等价类的个数为 =[c1(a1)+c1(a2)+…+c1(ag)]/|G| 4.4 Burnside引理 例如,G={e,(12),(34),(12)(34)}. c1(a1)=4,c1(a2)=2,c1(a3)=2,c1(a4)=0. =[4+2+2+0]/4=2. 以本例列表分析: 1 2 3 4 c1(aj) (1)(2)(3)(4) 1 1 1 1 4 (1) (12)(3)(4) 0 0 1 1 2 (1) (2) (1)(2)(34) 1 1 0 0 2 (1) (2) (12)(34) 0 0 0 0 0 (2) |Zk| → 2 2 2 2 8 Sjk k aj 4 2 1 2 1 2 4.4 Burnside引理 Sjk= 对第j行求和得c1(aj),对第k列求和得|Zk| 表中元素的总和=∑∑Sjk=∑|Zk|=∑c1(aj). 一般而言,与上表相仿,有下页表格,其中 Sjk= 1, k =k, 0, k ≠k. aj aj g j=1 g j=1 n k=1 n k=1 1, k =k, 0, k ≠k. aj aj 4.4 Burnside引理 1 2 … n c1(aj) a1 S11 S12 … S1n c1(a1) a2 S21 S22 … S2n c1(a2) … … … … ag Sg1 Sg2 … Sgn c1(ag) |Zk| |Z1||Z2| … |Zn| Sjk k aj ∑|Zk|=∑c1(aj). g j=1 n k=1 ∵∑S
文档评论(0)