(6.1)--第5章置换群大学物理实验.pptVIP

1概念与记号圈表示第5章 置换群 (Permutation Groups)第5章 置换群置换的性质 置换与置换群一、概念与记号集合A到自身的一个双射称为集合A上的一个置换(permutation).集合A上的一个置换群(permutation group) 是由A上某些置换构成的集合且关于映射的合成构成的一个群. 2概念与记号声明：我们只关心有限集合上的置换和置换群 置换的表示由于只考虑A有限的情形，习惯上令A={1, 2, …, n}.置换的表示：列出每个元素及其在该置换下的像.集合{1,2,3,4}上的一个置换 可以定义如下：为方便表达，用如下形式：3概念与记号 设则：注：本书复合运算定义次序，先右后左.置换的合成4概念与记号 例1: 对称群 S3：集合{1,2,3}到自身的所有置换组成的群. |S3|=6,且S3为非交换群. S3中6个元素分别为：注： 可计算出 S3 中任何元素之积, 如 S3中所有元素： 5概念与记号 例2: n 级对称群Sn:集合A={1,2,…,n}上所有置换构成群. |Sn |=n!, Sn (n2)非交换群(留作练习Ex.45). Sn元素 可表达成例3: 正方形的对称: 旋转, 反射所有对称:6概念与记号 本次课到此结束谢谢！ 8概念与记号圈表示第5章 置换群 (Permutation Groups)第5章 置换群置换的性质 二、圈表示(Cycle notation) 令 则简记置换 为 (1,2)(3,4,6)(5). 9圈表示 再如: 定义：(a1,a2,…,am)表示置换 a1 → a2 → …→ am → a1， 固定除a1,a2,…,am 外所有其它元素.称该置换为 一个长为 m 的圈 或 m-圈 (m-cycle). 圈表示10注: 每个1-圈固定所有元素,它是单位映射. 定义: 若m-圈(a1,a2,…,am)和n-圈(b1,b2,…,bn)中的元素a1, a2, …, am, b1, b2, …, bn互不相同, 称这两个圈是不交的(disjoint).11圈表示定理5.1 有限集合上的任一置换都可以表示成一个圈或若干个不交圈的乘积.注：把一个置换表示成不相交圈的乘积时, 1-圈通常省略不写(因1-圈是单位元). 12圈表示证明: 显然结论对只含一个元素的集合成立. 以下假设结论对元素个数小于n的集合成立. 不妨设α为A={1,2,…,n}上的一个非单位置换。那么，因为A有限，可设m是使得αm(a1)=a1成立的最小正整数. 那么， α=(a1,a2,…,am)… 若m=n,结论得证. 若mn,取B=A-{a1,a2,…,am}.则(a1,a2,…,am)-1α为B上的置换.因为|B||A|,由归纳, (a1,a2,…,am)-1α可写为一个圈或若干个不相交圈的乘积，从而α亦可写为若干个不相交圈的乘积. 注：两个置换乘积也要写成不相交圈的乘积.例如：则： 13圈 本次课到此结束谢谢！ 15概念与记号圈表示第5章 置换群 (Permutation Groups)第5章 置换群置换的性质 定理5.2(不相交圈可交换) 令 若 则证: 设 为集合 S = { a1, …, am , b1, …, bn, c1, …, ck } 上的两个置换,其中 c1,…,ck 均被 固定.则: 类似地, 所以, 16置换的性质三、置换的性质之一：不相交圈的乘积 置换的上述性质可以帮助我们十分方便的求出置换的阶.先证明如下结论：引理 设 a, b 是群 G 中的元素, 满足 ab=ba且a∩b=e, 则 |ab| = lcm ( |a|, |b| ).证：设|a|=s, |b|=t, lcm(s,t)=l.17置换的性质 定理5.3(置换的阶) 有限集合上一个写成不交圈乘积的置换 阶是其所有圈长的最小公倍数.证:假设α为集合A上的一个写成t个不交圈乘积的置换.若t=1: 一个n-圈阶为n(读者