群的基本知识精品PPT课件.pptx
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《群的基本知识精品PPT课件.pptx》由会员分享,可在线阅读,更多相关《群的基本知识精品PPT课件.pptx(53页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、定义:定义:在元素集合G(A, B, C, )中,定义一种结合法则(群乘)(combination, composition),满足:(1)封闭性:AG,BG,则ABG(2)结合律:A, B, CG, 则(AB)C = A(BC)(3)集合中有单位元素EG,使得对于任何AG,恒有EA=A(4)对于任何的AG,均存在逆元A-1G,使得A-1A=E 2.1 群的概念群的概念2.1.1 群的定义群的定义例如:例如: 构成一个群 ii , 1, 1可以证明:AE=A;AA-1=E证明:1)(若EA=A,必有AE=A) 若 , BAAEABAEA111AAABAAAABAEGA1111111111EBE
2、ABA证明:2)左逆=右逆, 假定: 设 EAA1BAAAABAAA11111BAAAABAAGA1111111111BEBE证明:3) ,且 AA11EAA1EAA111111111AAAAAAA证明:4)群中的单位元素是唯一的。 假定有两个单位元E1 和E2, 由 ,得 or 1221EEEE21EE 21111EAAEAAEA证明:5) (逆元) 且 (单位元) EE1EEEEE1111 EEE1 EE111)(ABAB111111111111)()()()()()()(ABABABABABBAABAEAABEABAB证明:6) 试讨论以下集合是否构成群: 1 全体整数对于数的加法 2
3、全体实数对于数的乘法 3 模(绝对值)为1的复数全体对于数的乘法 4 么正矩阵的全体对于矩阵的乘法 5 三维空间中矢量的全体对于矢量的叉乘 nn2.1.2 群的种类群的种类定义:定义:有限群中元素的数目称为群的阶(order) 有限群(finite group),群元个数有限离散群(discrete group)可数连续群(continuous group)不可数群 无限群(infinite group),群元个数无限多定义:定义:若群元素之间的结合满足交换律: ,则该群称为Abel群,或对易群(commutation Group)。 BAAB 1重排定理(重排定理(rearrangement
4、 theorem)(它对无限群不成立) 设群 的阶为h. 若 ,则(Ai为G中任意元素) 2.1.3 有限群的性质有限群的性质 hkAAAAG,21GAiGAAAAAAAAGAhikiiii,21GAAAAAAAAGAihikiii,21即:AiG和GAi中每一元素不能相同且又是G中的元素,而共有h个群元,不能超过G的元素,则AiG就是G。证明:(1) 必出现 (2) x不能出现两次 若 , 得: GxAAririikiiArikiAAAAAAAAAAi111rkAA GxAAkiGxAAkiGAGAki,GxAAki例:例:群 符合四条群公理。用其中任意一个元素乘整个群,所得到的仍然为原来的
5、群,只是次序有变。ii , 1, 1r为满足此式的最小整数2群元素的级群元素的级 有限群G,AG 由于有限, 必有 ,即 ,r称为该元素的级 级和阶是两个概念,但有时值可相等, 如 中 就是如此 132,rrmAAAAAAAAAAr1AAArEArii , 1, 1ii ,定义:若有限群G中的全部元素可由某个Ai的乘幂得到(不一定要求每一个元素,只要找到一个便可),则该群称为循环群(cyclic group)。Ai 该群的生成元定义:由群G的一个最小的群元的集合(如Ai, Aj, )及乘法关系就可以构造出一个群。这个最小的群元的集合中的元就称为群G的生成元生成元(generator) 。群乘关
6、系称作生成关系生成关系。2.1.4 群的乘法表群的乘法表AEBCCEACBBBCEAACBAEECBAEGiiCiiiBiiiAiiECBAEGii111111111111 约定:表中元素是竖元素乘横元素,即 DCDCG(右因子)(左因子)例:例:矩阵组 ,21232321,1001,1001BAE21232321,21232321,21232321FDC按矩阵乘法构成一个群其乘法表为: DEACBFFEFBACDDBAEFDCCACDEFBBCBFDEAAFDCBAEEFDCBAEG6 DBA21232321212323211001EFD10012123232121232321DEACBFF
7、EFBACDDBAEFDCCACDEFBBCBFDEAAFDCBAEEFDCBAEG62.1.5 群的实例群的实例 1)一阶群:)一阶群:E,满足 ,单位元素EE12)二阶群:)二阶群: , 如 所有二阶群的构造均一样 如宇称变换;全同粒子交换(费米) 生成元:A;A, A2AE,AA1EAAAEEAEV2111111112V3)三阶群:)三阶群:BAE,一阶、二阶、三阶群均是一阶、二阶、三阶群均是Abel群,也是循环群。群,也是循环群。 AEBBEBAABAEEBAEG三阶群唯一可能的乘法表为:生成元:A;A, A2, A3 B;B, B2, B3 唯一可能 A2=B ; 同理 B2=A A
8、2=A ?不行,否则 A=E 又 A2=E ?不行,否则 A=A-1 =B 唯一可能 AB=E ,即 A=B-1, B=A-1 (互逆) AB=B ?也不行,否则 A=E讨论:AB=A ?不行, 否则 B=E 是一个两阶群了。例: 的三个根 1, 组成三阶群(一般乘法) 013x231i例;对称操作 (即绕一固定轴转 )也构成三阶群3C2 ,34,324)四阶群)四阶群: CBAE, Abel群群 ( (四阶循环群)四阶循环群)4C生成元:A;A, A2, A3, A4 C;C, C2, C3, C4BAECCAECBBECBAACBAEECBAEC4)A,B,C中,一个自逆B,另两个互逆A,
9、C。乘法表示:23,2,2, 绕某固定轴转 iiCCCE, 1, 1,34244CCBBAA111,)A, B, C均为自逆, (注意,不可能有两个自逆) 乘法表为: Klein四阶群 EABCCAECBBBCEAACBAEECBAEV证明: (若 或 ,则 或 ) 同理 V Abel群(四阶反演群)群(四阶反演群)ECBA222CABBAAAB BAB EA EB ACBBCBCAAC,生成元:A, B;A, A2, B, AB 5)转动群:)转动群:所有旋转轴相交于一点的全部连续转动,构成 连续群 3RnnP321321nS,21,211nPnnnPE21210原来的位置新位置6)置换群(
10、)置换群(permutation group) 意为:1换成1,2换成2,n换成n :n个物体所有这种可能置换的集合称为置换群 这种群对基本粒子的交换对称性有用。 例: : 共 3!个群元素 3S123321,312321,321321BAE132321,213321,231321FDCDEACBFFEFBACDDBAEFDCCACDEFBBCBFDEAAFDCBAEEFDCBAES3 注意:置换是先进行右边的置换,再进行左边置换,即从右到左。ACD312321213321231321DAB213321123321312321DEACBFFEFBACDDBAEFDCCACDEFBBCBFDEA
11、AFDCBAEEFDCBAES3例如:置换不满足交换律,是非Abel群坐标系上取固定的三点A, B和C ,变换前正三角形三顶点A1, B1和C1分别与A, B和C重合。经变换, A1, B1和C1 的位置发生变化,但总是分别和 A, B和C 中的某一点重合。 7)正三角形对称群)正三角形对称群 共有六个元素:恒等变换E,绕三角形中0点顺时针转2/3和4/3角的变换D和F,三角形分别对三条中线的反射变换A,B,C。3CyxCABA(0,1)21,23(C)21,23(BC3v的乘法表和S3一样 例如: 等 可以证明: C3v是非Abel群FACDAB,yxCABA(0,1)21,23(C)21,
12、23(BDEACBFFEFBACDDBAEFDCCACDEFBBCBFDEAAFDCBAEEFDCBAECv3i , 1 8)四元数群()四元数群(guatermon)8阶群阶群 对复数: ,有两个单位 , 二元素。 定义四元素: 且规定:bia dkcjbiaqjikkiikjjkkjiijkji, 111, 11222222.2 子群(子群(subgroup),陪集(),陪集(coset),), 共厄元素(共厄元素(conjugate)和类()和类(class)2.2.1 子群子群定义:定义:若某群中的一部分元素的集合按原来的给合法则也构成群,子群。 任何群的单位元素构成子群 G的全体也构
13、成G的子群 非真子群(平庸子群)真子群的条件真子群的条件: 1 存在单位元 2 任意元素的逆元素也在这一子集内 3 任意两元素的乘积也在这一子集内例: C3v群中, 中 构成真子群。 323323,CCCCE323,CCE沿A轴反演顺时针赚120,E3, CE23, CEyxCABA(0,1)21,23(C)21,23(B例:实数(加法),单位元为:0 有理数(加法),单位元为:0 子群 整数(加法),单位元为:0 子群 子群链 偶数(加法),单位元为:0 子群 偶整有实2.2.2 陪集陪集 定义:定义:群中G有一个子群gH1, H2, , Hh,有一群元xG ,集合xg=xH1, xH2,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 基本知识 精品 PPT 课件
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内