群论群论基础PPT课件

《群论群论基础PPT课件》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

物理学中的群论主讲翦知渐——群论基础2022/10/191

1群论教材：自编参考书：群论及其在固体物理中的应用（徐婉棠）物理学中的群论（马中骐）物理学中的群论基础（约什）教材与参考书2022/10/192

2群论物理学中的群论第五章群论在量子力学中的应用第一章群论基础第二章晶体对称群第三章群表示理论第四章三维转动群2022/10/193

3群论-群论基础§1.5正规子群和商群§1.6直积和半直积§1.7对称群群的基本概念和基本性质§1.8置换群§1.1集合与运算§1.2群的定义和基本性质§1.3子群及其陪集§1.4群的共轭元素类第一章群论基础2022/10/194

4§0绪论群论的发展历史群论在数学中的作用我们为什么要学习群论群论-群论基础-集合与运算2022/10/195

5§1.1集合与运算抽象代数的基本概念集合的乘积：直积内积集合：抽象代数研究的对象集合的势1集合群论-群论基础-集合与运算返回2022/10/196

6定义：设A与B是两个集合，若有一种规则f，使得A的每一个元素在B上都有唯一的元素与之对应，这种对应规则f就称为A到B的一个映射，记为f：A→B或写为f：x→y=f(x),式中y称为x在B上的象，而x称为y在A上的原象。对应规则：与函数的比较2映射群论-群论基础-集合与运算2022/10/197

7变换：体系A的一个自身映射f称为A的一个变换若f是一一映射，则称为对称变换一一变换有性质：ff-1=f-1f=e满射单射一一映射逆映射：f-1恒等映射：e群论-群论基础-集合与运算2022/10/198

8定义：若对A上的每一对有序元(a,b)，在A上有唯一确定的c与之对应，即有一规则R使得A×A→A，则R称为A上的一个二元运算，记为R：A×A→A，或R：(a,b)→c=R(a,b)一般记为c=a·b，或c=ab。二元运算一般也称为“乘法”——数值加法数值乘法对称操作……3二元运算集合的所有代数性质都由其乘法结果决定群论-群论基础-集合与运算2022/10/199

9mAklOBCeabklmeeabklmaabemklbbealmkkklmeabllmkbeammklabeD3乘法表：有限集群论-群论基础-集合与运算2022/10/1910

10设A和B是两个不同集合，其中分别定义了乘法·和×；若有满射f，使得对于yi=f(xi),yj=f(xj)来说有f(xi·xj)=f(xi)×f(xj)——即像的乘积=乘积的像则称f为A到B的同态，记为A~B4同态与同构群论-群论基础-集合与运算2022/10/1911

11物理上，同构的集合有分别：G={e,c2}和G'={e,ci}→1:1同构：乘法表完全一样的结构，只是换了记录的符号数学上，同构即是同一例如：G={e=a4,a,a2,a3}→G'={1,i,-1,-i}同态映射若是一一映射→同构：A=B群论-群论基础-集合与运算2022/10/1912

12例如：G={e,a,a2,a3}→G′={1,-1}——二对一的同态→4:1同态：A到B的等比例缩小——保持乘法结构：f(xi·xj)=f(xi)×f(xj)设f(xi)=y（i=1,2…,l），则对于所有的i，有f(xi·x)=f(xi)×f(x)=y×f(x)→所有的xi·x对应于同一个元群论-群论基础-集合与运算2022/10/1913

13§1.2群的定义和基本性质什么是群？G={e,g2,…,gi,…}是一个集合，其中定义了乘法。如果对于所定义的乘法，以下四个条件成立，则集合G称为群：闭合律：gigj∈G,∀gi,gj∈G结合律：gi(gjgk)=(gigj)gk,∀gi,gj,gk∈G存在单位元：gie=egi=gi,∀gi∈G存在逆元素：∀gi∈G，∃gi-1∈G，使得gigi-1=gi-1gi=e广群，半群，幺半群1定义群论-群论基础-集合与运算2022/10/1914

14{1}：只含一个元素的群,1即是单位元e。{1，-1}：这个集合对普通乘法构成一个群。{e，I}：e为恒等操作，I为反演操作；乘法：变换合成。{1，i，-1，-i}：四个元素的集合对普通数值乘法构成群。{e,a,b,c}：乘法定义为：a2=b2=c2=e,ab=c,bc=a,ca=b，其中乘法可交换次序。全体实数对普通加法构成群。除0之外的所有实数对普通乘法构成群。全体n阶非奇异方矩阵的集合对矩阵的乘法构成群。D3群。2群的例子群论-群论基础-集合与运算2022/10/1915

15阿贝尔群：交换群有限群：可给出群表无限群：离散群，连续群群元素的阶：gn=e群阶：|G|生成元：通过乘法产生群G的最小子集循环群：一个生成元3一些基本概念群论-群论基础-集合与运算2022/10/1916

16设G={gi}是一个群∀gi,gj∈G,方程gix=gj，xgi=gj有唯一解(gi-1)-1=gi(gigj)-1=gj-1gi-1单位元唯一；逆元素唯一若群G={e,g2,…,gi,…}与群G'={e',g'2,…,g'j,…}同态或同构，则：G的单位元e的象是G'的单位元e'∀g∈G，设g的象是g'，则g的逆元g-1的象是g'-14一些基本性质群论-群论基础-集合与运算2022/10/1917

17设G是一个N阶群，则G的每一个元素在群表的每一行以及每一列中出现且只出现一次。若f是群元的任意函数，则有推论定理1.1有限群重排定理群论-群论基础-集合与运算2022/10/1918

18设H为G的一个子集，若它对G的乘法构成群，则称H为G的子群§1.3子群及其陪集平凡子群，真子群判别方法：符合以下两个条件的G的子集H是G的子群：若∀gi,gj∈H，有gigj∈H若∀gi∈H，则gi-1∈H对于有限群，只要满足第一个条件，即乘法的封闭性，就可证明H是G的子群。1子群群论-群论基础-子群及其陪集2022/10/1919

19设H={e,h2,…,hm}是G的一个子群，对于某个元素g∈G，集合gH={g,gh2,…,ghm}称为H的一个左陪集。陪集的代表元若某个q∈gH，则有qH=gH（因q=ghi）——陪集中任意元形成的陪集相同，或者说陪集中任意元可作为此陪集的“代表元”右陪集：H的右陪集和左陪集有同样的性质。左陪集qH和右陪集Hq不一定相等。2陪集群论-群论基础-子群及其陪集2022/10/1920

20根据陪集的性质，可以得到结论：任意两个左陪集xH和yH，要么完全相同，要么完全不同母群的每个元素都一定在子群的某个陪集中；每个陪集的元素个数相同；所有陪集要么没有公共元，要么全同——所以母群一定可以划分为子群的不同陪集的集合3拉格朗日定理H的所有左陪集都包含有相同数目的元素若g∈H，则gH=H；若g∉H，则gH∩H=∅群论-群论基础-子群及其陪集2022/10/1921

21定理1.2拉格朗日定理：设H是G的一个子群，则G的阶|G|一定是H的阶|H|的整数倍，即|G|=k|H|。其中k是正整数，称为H在G中的指数，实际上也就是G中含H的陪集数。推论（定理1.2的推论）：若群G的阶为素数时，G没有真子群，而且G必为循环群。群论-群论基础-子群及其陪集2022/10/1922

22H1={e,a,b}例：D3只有三阶子群和二阶子群，即H1和H2H2={e,k}左陪集（两个）右陪集（两个）eH1=aH1=bH1={e，a，b}H1e=H1a=H1b={e，a，b}kH1=lH1=mH1={k，l，m}H1k=H1l=H1m={k，l，m}左陪集（三个）右陪集（三个）eH2=kH2={e，k}H2e=H2k={e，k}aH2=mH2={a，m}H2a=H2l={a，l}bH2=lH2={b，l}H2b=H2m={b，m}群论-群论基础-子群及其陪集2022/10/1923

23群论-群论基础-共轭元素类设g是G的一个元素，∀x∈G，元素g'=xgx-1称为g的共轭元素，而g和g'具有共轭关系。§1.4共轭元素类如果G是矩阵群，则共轭关系就是相似变换，共轭元素就是相似矩阵。自反性：即G的任一元素与自身共轭对称性：即gi是gj的共轭元素，则gj也是gi的共轭元素传递性：若gi与gj共轭，而gj与gk共轭，则gi也是gk的共轭元素——共轭关系是一种等价关系等价关系联系起来的内部结构1共轭关系2022/10/1924

24群论-群论基础-共轭元素类G中所有相互共轭的元素构成的集合，称为共轭类设g′是gi的共轭元素，即存在x∈G，使得g′=xgix-1。当x走遍G的所有元素时，所有不同的g′构成的G的子集，称为G中含gi的共轭类，记为Ci={g1,g2,…,gm}同类元素有相同的阶。直接验证即可。两个类不能有公共元素，否则它们是同一个类。根据共轭关系的传递性可知，若两个类有公共元素，则这两个类的所有元素都是相互共轭的，自然组成一个类。2共轭类2022/10/1925

25群论-群论基础-共轭元素类单位元自成一类单位元可与任何元素交换乘积次序阿贝尔群的所有元素各成一类；循环群等，群元乘积可交换次序矩阵群：共轭关系对于矩阵是相似变换，而矩阵的相似变换不改变矩阵的迹，相似矩阵有相同的迹，所以同一个类的矩阵有相同的迹2022/10/1926

26群论-群论基础-共轭元素类群G中任何一个类Ci满足：∀x∈G，xCix-1=Ci。因为所有形如xgix-1的元素都是共轭的，而且每个都互不相同，个数与Ci中一样，所以xCix-1=Ci。逆类：若Ci={g1,g2,…,gm}是群G的一个共轭类，集合Ci'={g1-1,g2-1,…,gm-1}也是G的一个共轭类，称为Ci的逆类。设gi,gj∈Ci，有xgix-1=gj，所以可以得到(xgix-1)-1=(gj)-1——也就是说xgi-1x-1=gj-1，可见gi-1和gj-1也属于一个类。又因为xCix-1=Ci，所以有xCi’x-1=(xCix-1)-1=Ci-1=Ci’，∀x∈G成立，——所以Ci'是G的一个类，称为Ci的逆类。可以把群分解为不相交的共轭类的并集：G=C1∪C2…∪Cl式中Ci为第i个共轭类，G按共轭关系分成l个不同的类。2022/10/1927

27群论-群论基础-共轭元素类D3群的共轭类D3群有三个共轭类：C1={e}，C2={a,b}，C3={k,l,m}。因为a,b代表旋转120°（即360°/3），称之为绕3次轴的旋转，记为c3；k,l,m代表旋转180°（即360°/2），称之为绕2次轴的旋转，记为c2；故可以写为：C1={e}，C2={2c3}，C3={3c2}一般对于群元，可以按共轭类记之，如：D3={e,2c3,3c2}2022/10/1928

28群论-群论基础-共轭元素类定理1.3若Λ是群中若干个完整的类构成的集合：Λ=C1+C2+…=ΣkCk，x是群中任意元，则有xΛx-1=Λ成立。只需要注意到，对每一个Ci都有xCix-1=Ci，则命题得证。逆定理：任何一个满足关系xΛx-1=Λ，∀x∈G成立的集合Λ，必然由若干个完整的类构成。证明：首先将Λ中完整的类抽出。设余下的元的集合是Λ'，于是有xΛ'x-1=Λ'，∀x∈G成立考虑Λ'中的某个元g，我们发现等式左边将包含g的所有共轭元，因此等式右边的Λ'一定是一个完整的类。3几个定理设Ci={a1,a2,…,am}和Cj={b1,b2,…,bn}为群G的两个类，对于共轭类的直乘来说Ci×Cj={a1b1,a2b1,…,amb1,a1b2,a2b2,…,amb2,…,ambn}有：其中求和是对群中所有的共轭类求和，而系数为非负整数，表示类Ck在Ci×Cj中出现的次数。证明：根据上一个定理，我们有xCix-1=Ci，xCjx-1=Cj故Ci×Cj=xCix-1xCjx-1=xCi×Cjx-1它对所有x∈G成立，根据上一个定理的逆定理：集合Ci×Cj必然由一些完整的类构成。例：D3群有三个类，D3={e,2c3,3c2}={C1,C2,C3}，则可得C1×C2=C2；C1×C3=C3；C2×C3=2C3；C2×C2=2C1+C3；C3×C3=3C1+3C22022/10/1929

29群论-群论基础-共轭元素类定理1.4类元素数目定理：对于有限群G，每一个共轭类Ci的元素的个数|Ci|是|G|的一个因子。证明：设g∈G，构造集合Hg={h∈G|hgh-1=g}易证它是G的一个子群。共轭于g的元素组成共轭类Cg，其中元素的个数为：当q取遍G中所有元素时，从qgq-1中能得到的不同元素的个数——可证这是Hg的左陪集的个数2022/10/1930

30群论-群论基础-共轭元素类对Hg的一个陪集qHg来说，其中任何一个元素qh得到的共轭元为(qh)g(qh)-1=qhgh-1q-1=qgq-1是相同的对两个不同的陪集q1Hg和q2Hg来说，它们得到的共轭元是不同的，如果相同，则q1和q2必然在同一个左陪集中：q1gq1-1=q2gq2-1→g=q1-1q2gq2-1q1=q1-1q2g(q1-1q2)-1→q1-1y∈Hg→y∈q1Hg即：Hg的左陪集与Cg中的元素一一对应——Hg的左陪集的个数是|G|的一个因子（Hg的指数）2022/10/1931

31群论-群论基础-正规子群与商群共轭子群：群G有某个子群H，与H共轭的子集xHx-1(∀x∈G)也是一个子群。一般称之为H的共轭子群。正规子群：若群G的子群N满足xNx-1=N(∀x∈G)则称子群N为正规子群。由于正规子群的所有共轭子群就是它本身——不变——所以一般也称之为不变子群。∀x∈G，正规子群关于x的左陪集和右陪集相同：xN=Nx§1.5正规子群与商群共轭的子群：独立的小单元D3群：正规子群有C3={e,a,b}，而其他的子群则不是正规子群。1正规子群2022/10/1932

32群论-群论基础-正规子群与商群群G的正规子群N由群G的一个或几个完整的类构成；反之，若一个子群包含母群的一个或几个完整的类，则它必是正规子群。正规子群的性质证明：令h是正规子群N的一个元对∀g∈G，ghg-1必然也是N的一个元——所以N包含了h的整个类；反之，若子群包含了群G的一个或几个完整类，即：N=ΣiaiCi，其中ai等于0或1，则因为∀g∈G，有gCig-1=Ci，所以有gNg-1=N(定理1.3的逆定理)即N是正规子群。2022/10/1933

33群论-群论基础-正规子群与商群正规子群的一个陪集与另一个陪集（包括其自身）相乘——内积——结果必为某一个陪集或子群本身。证明：首先，对于这样定义的集合乘法而言，对于任一个群G有GG=G，而对于子群H同样有HH=H；其次，设正规子群N的两个陪集是gN和qN，则gNqN=gqq-1NqN=gq(q-1Nq)N=gqNN=gqN即结果仍旧是一个陪集（或子群本身）。2022/10/1934

342022/10/1935

35群论-群论基础-正规子群与商群证明：闭合律：由正规子群的性质可证S的单位元为NgiN的逆元素为gi-1N（gi-1N也是一个陪集）群G的阶是|G|，其正规子群N的阶是|N|，于是存在k=|G|/|N|个陪集（包括N本身）：g1N(=N)，g2N，…，gkN；把这k个集合作为一个新的集合S的元，定义S中的元素的乘法为“集合乘法”，则S是一个群，称之为商群记为G/N：S=G/N={N，g2N，…，gkN}2商群2022/10/1936

36群论-群论基础-正规子群与商群D3群它有一个正规子群C3={e,a,b}，子群C3有两个陪集{C3，kC3}，所以商群D3/C3由两个群元组成。G={1,i,-1,-i}它有一个正规子群N={1,-1}，这个子群有两个陪集，所以商群G/N有两个群元：G/N={N，iN}。O(3)群SO(3)群是O(3)群的不变子群，而商群O(3)/SO(3)={SO(3),ISO(3)}，其中I=-E，E是单位矩阵。——任何指数为2的子群都是正规子群商群的例子2022/10/1937

37群论-群论基础-正规子群与商群整数群所有整数在数字加法下构成的群Z={n|n=0，±1，±2，……}。所有6的倍数构成的子集Z6={6n|n=0，±1，±2，……}是Z的一个子群，而且是正规子群（因为Z是加法群）。Z6有6个陪集，分别是Z6，Z6+1，Z6+2，Z6+3，Z6+4和Z6+5，其中Z6+i={6n+i|n=0，±1，±2，……}。可以看到，S=Z/Z6={Z6，Z6+1，Z6+2，Z6+3，Z6+4，Z6+5}构成一个群，即Z与Z6的商群。2022/10/1938

38若群G~G'，则群G中与G'的单位元e'对应的所有元构成的集合N称为同态的核。若群G与G'同态，则单位元映射到单位元：e'=f(e)；若群G与G'同态，则逆元素映射到逆元素：若x'=f(x)，则(x')-1=f(x-1)。群同态的性质同态核3商群与同态群论-群论基础-正规子群与商群2022/10/1939

39群论-群论基础-正规子群与商群设G是一个群，则G与它的每一个商群G/N同态证明：建立一个映射为f：x→xN，x∈G则有xy→(xy)N=(xN)(yN)（因为N是正规子群）——所以G与商群G/N同态。定理：若群G与G'同态，则同态核N是群G的正规子群N是一个子群——只需要证明N的封闭性——易证又因，∀x∈G，若g∈N，设x→x'(x'∈G')，则xgx-1→x'e'x'-1=e'，即xNx-1=N对于所有x成立，故N是一个正规子群。同态核的性质商群与同态核2022/10/1940

40群论-群论基础-正规子群与商群设群G与G'同态，而同态的核为N，则商群G/N与G'同构证明：设同态映射f使得G的元素x→x'∈G'则陪集xN中的所有元素都映射到x'e'=x'（同态）即在此映射下商群G/N的元素xN对应于G'中的元素x'；反之，若某个y也对应于x'，即x'=f(x)=f(y)，则根据同态的性质(x')-1=f(x-1)，有f(x-1y)=f(x-1)f(y)=(x')-1x'=e'所以有x-1y∈N，即y∈xN，y一定在陪集xN中。结合以上两点，可知xN与x'之间是一一对应的，而且映射满足同态关系，故它们同构：G/N≈G'。2022/10/1941

41群论-群论基础-直积和半直积定义：设群H和K的阶分别为m=|H|，n=|K|，其群元为H={e,h2,…,hm}，K={e,k2,…,kn}，如果满足如下两个条件：H和K只有单位元e是共同的；H的所有元与K的所有元可以对易，则H⨂K={e,h2,…,hm,k2,h2k2,…,hmk2,…,hmkn}形成一个mn阶的群，其群元形式为hikj，这个群就称为H和K的直积群。§1.6直积和半直积扩大群的方法只需证明封闭性，它的单位元和逆元是很显然的。设hi，hj∈H；kl，km∈K，则H⨂K中的两个元hikl和hjkm的乘积为：(hikl)(hjkm)=(hihj)(klkm)=h'k'∈H⨂K，所以H⨂K构成群。1直积群2022/10/1942

42群论-群论基础-直积和半直积O(3)=SO(3)⨂{E,I}——I可以和任何矩阵对易直积群的例子六阶循环群G={e,a,a2,…,a5}它有两个子群H={e,a2,a4}和K={e,a3}这两个子群都是正规子群——循环群它们除了单位元之外没有公共元它们的元的乘积可以对易所以G={e,a,a2,…,a5}=H⨂K2022/10/1943

43群论-群论基础-直积和半直积直积群的性质如果G=H⨂K，则H和K必为G的正规子群证明：首先，H和K都是G的子集，而且本身都是群，故它们是G的子群。进一步，∀hikj∈G和∀kl∈K，我们有：(hikj)kl(hikj)-1=hi(kjklkj-1)hi-1=hik'hi-1=hihi-1k'=k'即：∀g∈G，有gKg-1=K所以K是G的正规子群。2022/10/1944

44群论-群论基础-直积和半直积如果H和K分别有c1和c2个类，则G=H⨂K有c1c2个类证明：G的类由下列形式的元构成(hikj)hmkl(hikj)-1=h'k'即(hihmhi-1)(kjklkj-1)=h'k'但是，hihmhi-1=h'，kjklkj-1=k'可见直积群的类由H的类和K的类相乘得到因此，G中类的个数是H和K的类的个数的乘积；而直积群G的每一类中元素的个数，也是H和K的相应类中元素的个数的乘积。2022/10/1945

45群论-群论基础-直积和半直积定义：如果有两个群H和K，它们只有一个公共元即单位元，且H在K“作用下”不变，则集合G={e,h2,…,hn,k2,h2k2,…,hnk2,…,hnkp}构成一个群，称为H和K的半直积群，记为G=H⨂SK，而G的阶等于|H|×|K|注意此处H和K的次序不可颠倒“作用”：如共轭作用——∀k∈K有kHk-1=H证明：只需证明G是封闭的它就是一个群——易证如果K在H作用下不变，则半直积群记为G=K⨂SH。当H在K作用下不变，而且K在H作用下不变，则半直积群就是直积群：H⨂K=K⨂H2半直积群2022/10/1946

46群论-群论基础-直积和半直积如果G=H⨂SK，则H是G的正规子群，但K只是G的子群而不是正规子群。直积群的群元(hikl)不是有序对，群元的乘积(hikl)(hjkm)=(hihj)(klkm)——可交换半直积群的群元(hi,kl)是有序对，群元的乘积为：(h1,k1)·(h2,k2)=(h1h’,k1k2)≠(h1h2,k1k2)其中h’是h2在k1作用下的结果。直积群与半直积群的群元乘积，集合上是相同的但是直积中两个分量的群运算各自独立而半直积群的运算是纠缠的性质2022/10/1947

47群论-群论基础-直积和半直积D3群有两个子群{e,a,b}和{e,k}前者是正规子群，后者不是我们可以得到D3={e,a,b}⨂S{e,k}例子空间群即是平移群与点群的半直积：S=T⨂SRT是平移群R是点群2022/10/1948

48群论-群论基础-对称群§1.7对称群对称群也称为变换群——对称变换构成的群对称性与守恒律；对称性与物质特性几何对称性：经典物理：Noether定理——守恒律量子力学：旋转对称，波函数交换反对称，CPT变换……固体物理：晶体结构，能带分析…………应用于物理体系的基础1对称性2022/10/1949

49群论-群论基础-对称群一个物理体系的全体对称变换构成该体系的的一个对称群，或称之为全对称群。群的乘法为“变换的合成”。两个变换相乘的定义是：先做后面的变换，再接着做前面的变换。闭合律；单位元；逆元素；结合律：设x为体系的任一个“坐标”，α,β,γ为体系的任意三个对称变换，则有：(αβ)γ(x)=(αβ)[γ(x)]=α{β[γ(x)]}=α{(βγ)(x)}=α(βγ)(x)所以有：(αβ)γ=α(βγ)2对称性定理2022/10/1950

50群论-群论基础-对称群二维转动群一个轴对称物体或体系绕其对称轴的全体转动构成的群称为二维转动群，记为R2或SO(2)。它的任一元素可记为Rz(θ)，0≤θ<2π（设转轴为z）单参数连续群：它的任意两个元素Rz(θ1)和Rz(θ2)的积为Rz(θ1)Rz(θ2)=Rz(θ1+θ2)令Rz(θ)对X-Y平面上的矢量r作用，则可以写r'=Rz(θ)rRz(θ)=因为SO(2)是阿贝尔群，所以它的共轭类是每个元素自成一类。2022/10/1951

51群论-群论基础-对称群三维转动群一个球对称的物体或体系的全体转动构成的群称为三维转动群R3或SO(3)。三维转动群元素的表示：先确定转轴的方向，再给出绕该轴的转角，表示为Rn(θ,?)(?)。欧拉角表示：R(α,β,γ)可以用三阶矩阵表示任意的转动，这个矩阵为正交矩阵，而且行列式为+1nxφy?θz2022/10/1952

52群论-群论基础-对称群SO(3)群的共轭类据定义，设Rn(?)为SO(3)群中绕某个n轴旋转?角的元素，与它共轭的元素是xRn(?)x-1，当x走遍SO(3)时，所得到的不同元素构成一个类，那么：——假如x的旋转轴就是n，则因同轴旋转可以交换次序，所以有：xRn(?)x-1=Rn(?)；——假如x与Rn(?)不同轴，设旋转操作x使得n轴转到m轴，则xRn(?)x-1中三个变换起如下作用：2022/10/1953

53群论-群论基础-对称群x-1操作：使得m轴转到n轴；2)Rn(?)操作：绕n轴旋转?角；3)x操作：使得n轴转到m轴所以xRn(?)x-1的效果实际上就是绕m轴旋转?角：xRn(?)x-1=Rm(?)即：绕m轴转?角与绕n轴转?角属于同一个类。当x取遍SO(3)的所有群元时，可以得到：SO(3)群中所有转相同角度的元素构成一个共轭类。2022/10/1954

54群论-群论基础-对称群球对称体系的全体转动加上空间反演：三维正交群，记为O(3)。三维正交群的元素可用三阶正交矩阵来表示：行列式为1和-1O(3)群：转动操作，空间反演操作，相对任意平面的反射操作→欧几里得空间中保持原点不变的全体等距变换的对称群。对于O(3)群的子群来说，元素共轭类的划分可以这样来进行：有转动变换的群，若两个转轴n和m可以由群中其他元素的操作互相变换，即存在一个对称操作x，使得xn→m，则绕n和m旋转相同角度的变换属于一个类。含有镜面反射的群，若群中含有一个镜面到另一个镜面的变换，则这两个镜面的反射属于一个类。三维正交群2022/10/1955

55群论-群论基础-对称群设G是体系A的一个对称群，对某个x∈A，集合{gx|g∈G}称为含x的群轨道。群轨道也称G轨道。对于有限群来说，群轨道上点的数目不能超过群的阶对于SO(2)群，垂直于对称轴的平面上的某点P，含P的群轨道即为平面上的一个圆。——连续群对于D3群来说，正三角形的某个顶点为P，则含P的群轨道是正三角形的三个顶点。SO(2)群的群轨道D3群的群轨道4对称群的群轨道2022/10/1956

56群论-群论基础-对称群证明：1)设对某一个g∈G有gx=y，y≠x，则∀h∈Gx，有ghx=gx=y，即：同一个陪集gGx={g,gh2,…，ghm}中的所有元素均将x变换为同一点yG是某体系A的一个对称群，某点x∈A，而保持x不变的所有对称变换构成G的一个子集：Gx={g|g∈G，gx=x}这个子集Gx是G的一个子群（也称迷向子群）。如果G是一个有限群，则含x的群轨道上的点的数目k等于Gx的所有不相同的左陪集的数目，或者说k是Gx在G中的指数：k=|G|/|Gx|群轨道定理2022/10/1957

57群论-群论基础-对称群不同的陪集则变换为不同的点：因若gx=g'x,则x=g-1g'x，即g-1g'∈Gx→g'∈gGx即：g和g'属于同一个左陪集——变换为同一点的群元均在同一个左陪集中所以：Gx的一个左陪集对应含x的群轨道上的一个点Gx有k个左陪集，它们就对应于含x的群轨道上的k个点点的数目k=|G|/|Gx|：左陪集数2022/10/1958

58群论-群论基础-置换群置换群，是交换体系的某些部分而保持不变的对称群。它经常用于讨论全同粒子体系的对称性。先把n个全同粒子编号，对这n个全同粒子的一一变换称为置换——对称变换，可以用一个2×n阶的矩阵μ表示n阶对称群（记为Sn）共有n!个元素，其子群称为置换群在μ的写法中，各列的排列次序是无关紧要的§1.8置换群全同粒子的对称群1定义2022/10/1959

59群论-群论基础-置换群元素的乘法单位元逆元素两个置换的乘积μ1μ2的定义是先进行μ2操作，再进行μ1操作。置换元的乘法并不是矩阵的乘法，只是借用矩阵形式描述2022/10/1960

60群论-群论基础-置换群轮换中的粒子按顺序依次变换：任何一个置换，总可以分解为没有公共数字的轮换的乘积，分解方法是唯一的轮换中的数字排序不能改变，但可以顺序移动：(123)=(231)=(312)≠(213)两个没有公共数字的轮换，乘积顺序可以对调轮换的逆元素：(1234)-1=(4321)2轮换表示2022/10/1961

61群论-群论基础-置换群单行矩阵的长度称为轮换的长度l。长度为1的轮换即是恒等变换，而长度为2的轮换称为对换。分解之后各轮换长度{li}的集合，称为该置换的轮换结构对换任意一个轮换总可写成对换的乘积：(αβγδ)=(αβ)(βγ)(γδ)此时各因子有公共粒子，乘积顺序不可交换。所有置换都可以写成一系列对换的乘积。轮换结构2022/10/1962

62群论-群论基础-置换群宇称因(i,i+j)=(i+1,i+j)(i,i+1)(i+1,i+j)，所以任何对换都可以写成相邻粒子的对换的乘积。故可以将(i,i+1)，i=1,2,…,n-1作为置换群的生成元。生成元的取法不是唯一的，也可以将生成元取为(1,i)，i=2,3,…,n。置换可以分解成N个对换的乘积，分解方法不是唯一的。虽然随着取法的不同，N会随着变化，但是N的奇偶性不变。置换的宇称：N为偶数称为偶置换，N为奇数称为奇置换。生成元2022/10/1963

63群论-群论基础-置换群置换群的共轭类由置换的轮换结构决定，相同的轮换结构属于同一个类设μ把数字m1变为m2，写为μm1=m2；则其共轭元素αμα-1则把αm1变为αm2：αμα-1(αm1)=αm2对于某个轮换因子，若μ把其中的数字m1变为m2(顺序轮换)则它的共轭元αμα-1把同一个轮换中的αm1变为αm2——而且也是一个接一个地顺序轮换：若μ=(m1m2…mi)，则有αμα-1=(αm1αm2…αmi)故若用轮换符号表示一个置换元μ，可以看到αμα-1与μ有相同的轮换结构。3置换群的共轭类2022/10/1964

64群论-群论基础-置换群如：μ=(124)(36)，α=(26)(3415)，则αμα-1=(561)(42)置换群的共轭类由置换的轮换结构决定，具有相同的轮换结构的置换属于同一个类。轮换结构的确定用如下方式写出轮换形式：用来表示置换的轮换结构，而且有ν1+2ν2+…+mνm+…+nνn=nμ=()1…()1()2…()2…()m…()m…ν1个ν2个νm个2022/10/1965

65群论-群论基础-置换群ν1+2ν2+…+mνm+…+nνn=n它的每个解确定一个轮换结构——也就确定了Sn的一个类。一般采用另一种方式来得到Sn的轮换结构。若令：ν1+ν2+……+νn=λ1ν2+……+νn=λ2…………νn=λn则：λ1+λ2+……+λn=n其中λ1≥λ2≥……≥λn≥0上式称为n的一个分割，并用[λ1,λ2,…,λn]来表示。一个分割[λ1,λ2,…,λn]唯一地确定一个轮换结构，从而确定Sn的一个类2022/10/1966

66群论-群论基础-置换群一个分割[λ1,λ2,…,λn]唯一地确定一个轮换结构：因：λ1-λ2=ν1λ2–λ3=ν2………λn=νn如S4的共轭类：分割轮换结构类中元素数目代表元素[4]{14}1e[3,1]{1221}6(12)[22]=[2,2]{22}3(12)(34)[2,12]=[2,1,1]{1131}8(123)[14]=[1,1,1,1]{41}6(1234)2022/10/1967

67群论-群论基础-置换群Cayley定理：任何群同构于一个对称变换群；任何有限群G同构于一个置换群，即S|G|的一个子群。设G={g1=e,g2,…,gn}，对∀g∈G，可作映射：g→这样就建立了G到置换群之间的一个同构映射。因此对于有限群，我们只需研究Sn及其子群的性质2022/10/1968

682022/10/1969