第4章 Burnside 引理与Polya 定理.pptVIP

第四章 Pólya定理 群的概念 置换群 循环、奇循环与偶循环 Burnside引理 Pólya定理 例 母函数型的Pólya定理 图的计数 4.1群的概念 前两例群元素的个数是有限的，所以是有限群；后一例群元素的个数是无限的，所以是无限群。 有限群G的元素个数叫做群的阶,记做|G|。 若群G的任意二元素a,b恒满足ab=ba，称G为交换群，或Abel群。 设G是群,H是G的子集,若H在G原有的运算之下也是一个群,则称为G的一个子群。 4.2 置换群 置换群是最重要的有限群，所有的有限群都可以用之表示。 n阶置换：[1,n]到自身的1-1变换。 [1,n]目标集。( ), a1a2…an是[1,n]中元的一个排列。n阶置换共有n!个，同一置换用这样的表示可有n!个表示法。例如 p1=( )=( )，n阶置换又可看作[1,n]上的一元运算，一元函数。 4.3循环、奇循环与偶循环 4.4 Burnside引理 (1)共轭类 先观察S3,A3,S4,A4,以增加感性认识。S3={(1)(2)(3),(12),(23),(13),(123),(132)}. A3={(1)(2)(3),(123),(132)}. S4={(1)(2)(3)(4),(12),(13),(14),(23),(24),(34), (123),(124),(132),(134),(142),(143),(234),(243), (1234),(1243),(1324),(1342),(1423),(1432), (12)(34),(13)(24),(14)(23)}. A4={(1)(2)(3)(4),(123),(124),(132),(134),(142), (143),(234),(243),(12)(34),(13)(24),(14)(23)}. 定理： Sn中属于 (2)k不动置换类 设G是[1,n]上的一个置换群。G≤Sn. k∈[1,n],G中使k保持不变的置换全体,称为k不动置换类，记做Zk. 一个由G定义的关系k： 若存在p∈G,使得k→j则称kRj。 显然kRk；kRj则jRk；kRj,jRl则kRl。 所以R是[1,n]上的一个等价关系。将[1,n]划分成若干等价类。 定理：设G是[1,n]上的一个置换群，Ek是[1,n]在G的作用下包含k的等价类，Zk是k不动置换类，有|Ek||Zk|=|G|，k=1,2,…,n。 例：一个正方形分成4格,2着色,有多少种方案？图象：看上去不同的图形.方案：经过转动相同的图象算同一方案.图象数总是大于方案数。 (1)旋转0度为不动置换： p1=(1)(2)…(16) (2)逆时针转90度 ： p2=(1)(2)(3 4 5 6)(7 8 9 10) (11 12)(13 14 15 16) (3)逆时针转180度 ： p3=(1)(2)(3 5)(4 6)(7 9)(8 10) (11)(12) (13 15)(14 16) (3)逆时针转270 度： p4=(1)(2)(6 5 4 3)(10 9 8 7) (11 12)(16 15 14 13) 不同等价类的个数为(16+2+4+2)/4=6(种方案) 4.6 举例 例： 等边三角形的3个顶点用红，兰，绿3着色，有多少种方案？ 4.4.1 若干概念 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一般可把Sn中任一置换p分解成若干不相交的循环乘积： 设其中k阶循环出现的次数为ck，k=1,2,…,n,k阶循环出现ck次，用(k)ck表示。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Sn中的置换可按分解成的格式 的不同而分类。 例如：(1)(2 3)(4 5 6 7)属于格式 省去指标为0的项写为 在Sn中具有相同格式的置换全体，叫做与该格式相应的共轭类。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 共轭类的元素个数为 Evaluation only. Created with Aspose