近世代数教学课件

近世代数课程是现代数学的基础,既是中学代数的继续发展，也是高等代数课程的继续和发展,同时它又同拓扑学、实变函数与泛函分析构成现代数学的三大基石，是进入数学王国的必由之路，是数学与应用数学专业学生必修的重要基础课。同学应当具备有初等代数，高等代数的背景，此外还有初等数论等方面的知识背景。近世代数2024/7/281近世代数课程是现代数学的基础,既是中学高度的抽象是近世代数的显著特点，它的基本概念：群、环、域，对初学者也是很抽象的概念，因此，在本课程的学习中，大家要多注意实例,以加深对概念的正确理解。近世代数的习题，因抽象也都有一定的难度，但习题也是巩固和加深理解不可缺少的环节，因此，应适当做一些习题，为克服做习题的困难，应注意教材内容和方法以及习题课内容。2024/7/282高度的抽象是近世代数的显著特点，它的基主要参考书1BL瓦德瓦尔登著：代数学、卷，科学出版社，1964年版2N贾柯勃逊著：抽象代数1、2、3卷，科学出版社，1987年出版3.，张禾瑞，高等教育出版，1978年修订本。4刘绍学著：近世代数基础，高等教育出版社，1999年出版2024/7/283主要参考书2023/8/1735石生明著：近世代数初步、高等教育出版社，2002年出版6.近世代数，吴品山，人民教育出版社，1979。7.抽象代数学，谢邦杰，上海科学技术出版社，1982。8.抽象代数基础，刘云英，北京师范大学出版社，1990年。2024/7/2845石生明著：近世代数初步、高等教育出版社，2002年出版2 近世代数理论的三个来源(1)代数方程的解(2)Hamilton四元数的发(3)Kummer理想数的发现2024/7/285近世代数理论的三个来源代数方程的解2023/8/175（1）代数方程的解两千多年之前古希腊时代数学家就能够利用开 方法解二次方程axax2 2+bx+c=+bx+c=0 0 。1616世纪初欧洲文艺复兴时期之世纪初欧洲文艺复兴时期之后，求解高次方程成为欧洲代数学研究的一个中心问题。后，求解高次方程成为欧洲代数学研究的一个中心问题。15451545年年意大利数学家意大利数学家 G.Cardano(1501-1576)G.Cardano(1501-1576)在他的著作大术（在他的著作大术（Ars Ars MagnaMagna）中给出了三、四次多项式的求根公式，此后的将近三个）中给出了三、四次多项式的求根公式，此后的将近三个世纪中人们力图发现五次方程的一般求解方法，但是都失败了。世纪中人们力图发现五次方程的一般求解方法，但是都失败了。2024/7/286（1）代数方程的解ax2+bx+c=0直到1824年一位年青的挪威数学家 N.Abel(1802-1829)才证明五次和五次以上的一般代数方程没有求根公式。但是人们仍然不知道什么条件之下一个已知的多项式能借助加、减、乘、除有理运算以及开方的方法求出它的所有根,什么条件之下不能求根。最终解决这一问题的是一位法国年青数学家E.Galois(18111832)，Galois引入了扩域以及群的概念，并采用了一种全新的理论方法发现了高次代数方程可解的法则。在Galois之后群与域的理论逐渐成为现代化数学研究的重要领域，这是近世代数产生的一个最重要的来源。2024/7/287直到1824年一位年青的挪威数学家N加罗华阿贝尔被誉为天才数学家的伽罗瓦（1811-1832）是近世代数的创始人之一。他深入研究了一个方程能用根式求解所必须满足的本质条件，他提出的“伽罗瓦域”、“伽罗瓦群”和“伽罗瓦理论”都是近世代数所研究的最重要的课题。伽罗瓦群理论被公认为十九世纪最杰出的数学成就之一。他给方程可解性问题提供了全面而透彻的解答，解决了困扰数学家们长达数百年之久的问题。伽罗瓦群论还给出了判断几何图形能否用直尺和圆规作图的一般判别法，圆满解决了三等分任意角或倍立方体的问题都是不可解的。最重要的是，群论开辟了全新的研究领域，以结构研究代替计算，把从偏重计算研究的思维方式转变为用结构观念研究的思维方式，并把数学运算归类，使群论迅速发展成为一门崭新的数学分支，对近世代数的形成和发展产生了巨大影响。同时这种理论对于物理学、化学的发展，甚至对于二十世纪结构主义哲学的产生和发展都发生了巨大的影响。2024/7/288加罗华阿贝尔被誉为天才数学家的伽罗瓦（1811-18(2)Hamilton四元数的发现长期以来人们对于虚数的意义存在不同的看法，后来发现可以把复数看成二元数(a,b)=a+bi，其中i2=-1。二元数按(a,b)(c,d)=(ac,bd)，(a,b)(c,d)=(ad+bc,ac-bd)的法则进行代数运算，二元数具有直观的几何意义；与平面上的点一一对应。这是数学家高斯提出的复数几何理论。二元数理论产生的一个直接问题是：是否存在三元数？经过长时间探索，力图寻求三元数的努力失败了。但是爱尔兰数学家W.Hamilton(1805-1865)于1843年成功地发现了四元数。四元数系与实数系、复数系一样可以作加减乘除四则运算，但与以前的数系相比，四元数是一个乘法不交换的数系。从这点来说四元数的发现使人们对于数系的代数性质的认识提高了一大步。四元数代数也成为抽象代数研究的一个新的起点，它是近世代数的另一个重要理论来源。2024/7/289(2)Hamilton四元数的发现2023/8/179（3）Kummer理想数的发现17世纪初法国数学家费马(P.Fermat 1601-1665）研究整数方程时发现当n3时，方程 xn+yn=zn 没有正整数解，费马认为他能够证明这个定理，但是其后的三百多年中人们研究发现这是一个非常困难的问题，这一问题被后来的研究者称为费马问题或费马大定理，此定理直到1995年才被英国数学家A.Wiles证明。对费马问题的研究在三个半世纪内从未间断过，欧拉、高斯等著名数学家都对此作出过重要贡献。但最重大的一个进展是由E.Kummer作出的。2024/7/2810（3）Kummer理想数的发现2023/8/1710Kummer的想法是：如果上面的方程有正整数解，假定是一个n次本原单位根，那么xn+yn=zn的等式两边可以作因子分解zn=(x+y)(x+y)(x+n-1y),象整数中的因子分解一样，如果等式右边的n个因子两两互素，那么每个因子都应是另外一个“复整数”的n次方幂,进行适当的变换之后有可能得到更小的整数x1,y1,z1使xn+yn=zn 成立，从而导致矛盾。如果上面等式右边的n个因子有公因式，那么同除这个公因式再进行上面同样的讨论。2024/7/2811Kummer的想法是：如果上面的Kummer方法的前提是形如a+b的复整数也象整数一样具有唯一的素因子分解，其中a与b是通常整数。并不是对于每个整数n,复整数a+b都具有唯一分解性，Kummer把这种复整数的因子分解称为理想数的分解。用这种方法 Kummer证明了n100时费马大定理成立,理想数的方法不但能用于费马问题研,实际上是代数数论的重要研究内容，其后德国数学家R.Dedekind(1831-1916)把理想数的概念推广为一般的理想论，使它成为近世代数的一个重要的研究领域。2024/7/2812Kummer方法的前提是形如a+b的复整数近世代数是在19世纪末至20世纪初发展起来的数学分支。1930年荷兰数学家范德瓦尔登（B.LvanderWearden1930-1996）根据该学科领域几位创始人的演讲报告,综合了当时近世代数的研究成果,编著了近世代数学(ModerneAlgebra）一书,这是该学科领域第一本学术专著，也是第一本近世代数的教科书。2024/7/2813近世代数是在19世纪末至20世纪初发展起来的数 2024/7/28142023/8/1714 诺特,1882年3月23日生于德国埃尔朗根，1900年入埃朗根大学，1907年在数学家哥尔丹指导下获博士学位。1916年后，她开始由古典代数学向抽象代数学过渡。1920年，她已引入左模、右模的概念。1921年写出的是交换代数发展的里程碑。建立了交换诺特环理论，证明了准素分解定理。1926年发表，给戴德金环一个公理刻画，指出素理想因子唯一分解定理的充分必要条件。诺特的这套理论也就是现代数学中的“环”和“理想”的系统理论，一般认为抽象代数形式的时间就是1926年，从此代数学研究对象从研究代数方程根的计算与分布，进入到研究数字、文字和更一般元素的代数运算规律和各种代数结构，完成了古典代数到抽象代数的本质的转变。诺特当之无愧地被人们誉为抽象代数的奠基人之一。2024/7/2815诺特,1882年3月23日生于德国埃尔朗根，190第一章 基本概念1 集 合2 映射与变换3 代数运算4 运算率5 同态与同构6 等价关系与集合的分类2024/7/2816第一章基本概念1 集合2映射与变换31 集 合 表示一定事物的集体，我们把它们称为集合或集，如“一队”、“一班”、“一筐”.组成集合的东西叫这个集合的元素.我们常用大写拉丁字母A，B，C，表示集合，用小写拉丁字母a，b，c，表示元素.如果a是集合A的元素，就说a属于A，记作 ；如果a不是集合A的元素，就说a不属于A，记作 ；例如，设A是一切偶数所成的集合，那么4A，而 .2024/7/28171 集合表示一定事物的集体，我们把它们称为集合或集 一个集合可能只含有有限多个元素，这样的集合叫做有限集合.如，学校的全体学生的集合；一本书里面的所有汉字的集合等等这些都是有限集合.如果一个集合是由无限多个元素组成的，就叫做无限集合.如，全体自然数的集合；全体实数的集合.不含任何元素的集合叫空集.表示为：2024/7/2818一个集合可能只含有有限多个元素，这样的集合叫做有限集枚举法:例如,我们把一个含有n个元素 的集合的有限集合表示成：.前五个正整数的集合就可以记作 .拟枚举：自然数的集合可以记作 ,拟枚举可以用来表示能够排列出来的的集合,像自然数、整数描述法:如果一个集A是由一切具有某一性质的元素所组成的，那么就用记号来表示.2024/7/2819枚举法:例如,我们把一个含有n个元素 表示一切大于-1且小于1的实数的所组成的集合.常用的数集：全体整数的集合，表示为Z全体有理数的集合，表示为Q全体实数的集合，表示为R全体复数的集合，表示为C2024/7/2820 设A，B是两个集合，如果A 的每一元素都是B 的元素，那么就说是的子集，记作 ，或记作 .根据这个定义，是的的子集当且仅当对于每一个元素x，如果 ，就有 .A是B的子集，记作：2024/7/2821设A，B是两个集合，如果A的每一元素都是B的A是如果集合A与B的由完全相同的元素组成部分的，就说A与B 相等，记作：A=B.即以集合A的所有子集为元素的集合，称为A的幂集，记为P(A).2024/7/2822如果集合A与B的由完全相同的元素组成部分的，就说A与B相等并运算 设A，B是两个集合.由A的一切元素和B的一切元素所成的集合叫做A与B的并集（简称并），记作 .如图1所示.AB2024/7/2823并运算设A，B是两个集合.由A的一切元素和B的一切元素所交运算 由集合A与B的公共元素所组成的集合叫做A与B的交集(简称交)，记作：，如图2所示.显然，例如，A=1，2，3，4，B=2，3，4，5，则我们有2024/7/2824交运算由集合A与B的公共元素所组成的集合叫做A与B的交集(运算性质:交换律:;分配律:结合律:;幂等率:;2024/7/2825运算性质:交换律:;分配律:结合律:;幂等率:;两个集的并与交的概念可以推广到任意n个集合上去，设 是给定的集合.由 的一切元素所成的集合叫做 的并；由 的一切公共元素所成的集合叫做 的交.的并和交分别记为：和 .我们有2024/7/2826两个集的并与交的概念可以推广到任意n个集合上去，设差运算：设A，B是两个集合，令也就是说，是由一切属于A但不属于B 的元素所组成的，称为A与B 的差.注意：并没有要求B是A的子集.例如，积运算：设A，B是两个集合，令称 为A与B的笛卡儿积（简称为积）.是一切元素对（a,b）所成的集合，其中第一个位置的元素a取自A，第二个位置的元素b取自B.可以定义多个集合的笛卡儿积2024/7/2827差运算：也就是说，是由一切属于A但不属于2 映射与变换定义1 设A，B 是两个非空的集合，A到B 的一个映射指的是一个对应法则，通过这个法则，对于集合A中的每一个元素 x，有集合B中一个惟一确定的元素 y 与它对应.用字母f，g，表示映射.用记号 表示f 是A到B的一个映射.如果通过映射f，与A中元素x对应的B中元素是y，那么就写作 这时y 叫做 x 在f 之下的象，记作 .2024/7/28282映射与变换定义1设A，B是两个非空的集合，A例1 设 这是A到B的一个映射.例2 设A是一切非负数的集合，B是一切实数的集合.对于每一 ，令 与它对应.f 不是A到B的映射，因为当 时，不能由x唯一确定.2024/7/2829例1设例2设A是一切非负数的集合，B是一切实数的集定义2 设f 是A到B的一个映射，如果Imf=B，那么说称f 是A到B上的一个映射，这里也称f 是一个满射。设 是一个映射.对于 ，x的像 .一切这样的象作成B的一个子集，用 表示：，叫做A在f之下的象，或者叫做映射f的象.2024/7/2830定义2设f是A到B的一个映射，如果Imf=B，那么定义3 设 是一个映射，如果对于A中任意两个元素 和 ，只要 ，就有 ，那么就称f 是A到B的一个单射.或A到B的一一映射 如果既是满射，又是单射，即如果 f 满足下面两个条件，就称f是A到B的一个双射.或A到B上的一一映射 2024/7/2831定义3设32322024/7/28332023/8/17332024/7/28342023/8/1734例3令 那么 .设 ，都是A到B的映射，如果对于每一 ，都有 ，那么就说映射f与g是相等的.记作2024/7/2835例3令设定义4：设 是A到B 的一个映射，是B 到C 的一个映射.那么对于每一个 ，是C中的一个元素.因此，对于每一 ，就有C 中唯一的确定的元素 与它对应，这样就得到A到C 的一个映射，这映射是由 和 所决定的，称为 f 与g 的合成（乘积），记作 .于是有 对于一切 ,f 与g 的合成可以用下面的图示意：fgABC（交换图）2024/7/2836定义4：设是A到B的例4 设那么 例5 设 A=1，2，3 那么 2024/7/2837例4设那么例5设A=1，2，3那么202 映射 ，有 .但是，一般情况下 .设A是非空集合 称为设A上的 恒等映射。设A，B是两个非空集合，用 和 表示A和B的恒等映射.设 是A到 B 的一个映射.显然有：，.2024/7/2838映射，例6：f 是集合A到B的一个双射的充要条件是存在B到A的一个映射g，使得 ，且映射g是由f 唯一确定的,称为f 的逆映射,表示为证:(必要性)因为f 是满射，所以对于B中每一个y，有 ，使得 又因为f 是单射，所以这个x 是由y唯一确定的：即如果还有 使得 ，那么 .则g是B 到A 的一个映射.我们规定2024/7/2839例6：f是集合A到B的一个双射的充要条件是存在B到A的一个任意 而 .我们有任 ，而 .那么 故#所以（充分性)任意 ,令 .由于 ，所以即f是满射.2024/7/2840任意而.设 而 由于 ，所以这说证明了f 是单射.因此，f 是A到B 的双射.最后，令 和 都具有性质:，2024/7/2841设而由于有 所以 g 是由 f 唯一确定的.#，设f 是A到B 的一个映射，我们把满足例6条件的映射 叫做 f 的逆映射.一个映射不一定有逆映射，然而如果映射 有逆映射的话，逆映射是由 f 唯一确定的，以后把 f 的逆映射记作 .有 因此，也是一个双射，并且f 就是 的逆映射，即 .2024/7/2842有所以g是由f唯一确定的.#，设f例7:设A是一切非负实数所成的集合；f 是A到B 的一个映射，因为当 时，并且是由x 唯一确定的.证明，f 是一个双射.证：任意 .取 因为 ，所以 ，且 ，所以 .且有（f满）2024/7/2843例7:设A是一切非负实数所成的集合；f是A到B的一个设 而 .那么 由此 ，所以f 是单射.于是由例6，f 有逆映射.易验证，一般地，设A是一个非空的集合，把AA到A的一个映射叫做集合A的一个代数运算.2024/7/2844设而定义5：集合X到自身的映射，叫做集合X的一个变换。单射变换、满射变换、双射变换、恒等变换2024/7/2845定义5：集合X到自身的映射，叫做集合X的一个变换。单射变换、2024/7/28462023/8/17462024/7/28472023/8/17473.代数运算注(1)为什么叫运算？不妨设是映射，若，我们可以说a和b在的法则下运算得到d(2)一个代数运算可以用表示，并将(a,b)在像记作下的2024/7/28483.代数运算注(1)为什么叫运算？不妨设是映射，若，一般映射的描述:作为运算的记号:,.简记:2024/7/2849一般映射的描述:作为运算的记号:,.简记:2例A所有正整数，下列运算是不是A的代数运算?A=Z?A=Q?A=R2024/7/2850例A所有正整数，下列运算是不是A的代数运算?A=例4：Aa,b,c规定A的两个不同的代数运算2024/7/2851例4：Aa,b,c规定A的两个不同的代2023/T(M)表示非空集合M的全体变换作成的集合。S(M)表示非空集合M的全体双射变换作成的集合。显然变换的合成（乘法）是T(M)和S(M)的一个代数运算。2024/7/2852T(M)表示非空集合M的全体变换作成的集合。对有限集合的代数运算，常直观地列成一个表（乘法表）2024/7/2853对有限集合的代数运算，常直观地列成一个表（乘法？S(M)的乘法表2024/7/2854？S(M)的乘法表2023/8/1754一、结合率4运算律2024/7/2855一、结合率4运算律2023/8/17552024/7/28562023/8/1756假如用一个加括号的步骤，当然也会得到一个结果加括号的步骤自然不止一种，但因为是一个有限整数，这种步骤的个数总是一个有限整数假定它是，我们把由这个步骤所得的结果用,来表示。这样得来的N个,当然未必相等,但是它们也可能都相等。我们规定:57假如用一个加括号的步骤，当然也会得到一个结果加括号57假如对于的个固定的元来说,所有的都相等,我们就唯一的结果,用来表示.问题:什么条件下,所有的都相等?定理:假如一个集合的代数运算适合结合律,那么对于的任意个元来说,所有的都相等；因此符号也就总有意义2024/7/2858假如对于的个固定的元证明对n用数学归纳法(第二型)(I)n=2,3，定理是对的(II)假定个数，定理是对的在这个假定之下，如果我们能够证明:对于一个任意的来说(一个固定的结果)定理也就证明了.这一个是经过一种加括号的步骤所得来的结果,这个步骤的最后一步总是对两个元进行运算:这里,是前面的若干个,假定是个元,，经过一个加括号的步骤所得的结果,是其余的个元，经过一个加括号的步骤所得的结果。因为59证明对n用数学归纳法(第二型)59和都,由归纳法的假定,情况1假定,那么上式就是要证明的情况2假定，那么即（）式仍然成立证完。结合律成立，保证了可以应用个符号。结合律的重要也就在此60和都,二、交换率2024/7/2861二、交换率2023/8/17612024/7/28622023/8/1762三、分配率63三、分配率632024/7/28642023/8/17642024/7/28652023/8/17652024/7/28662023/8/17665同态与同构如何比较两个代数系统?回忆两个三角形全等的定义:经过运动,顶点可以重合.这里涉及两个步骤:第一,点间有一个对应(映射);第二,对应后可以重合.我们比较两个代数系统和.第一,我们需要一个映射;第二,这个映射还能够使“运算重合”或曰：保持运算.具体的说,假如和是的两个元,那么和都有意义,都是的元.保持运算即下面等式成立:2024/7/28675同态与同构如何比较两个代数系统?我们比较两个代上面的等式即:换一种表示，假定在之下的像，2024/7/2868上面的等式即:换一种表示，假定在之下的像，2023所有整数,的代数运算是普通加法.,的代数运算是普通乘法.定义1一个到的映射称为对于代数运算和的同态映射,假如,都有:定义与例子69所有整数,的代数运算是普通加法.定义1例1证明(是的任一元)是一个到的同态映射.证明例2:,若是偶数,若是奇数证明:是一个到的满射的同态映射.证明:显然,是到的满射.对于的任意两个整数和来说,分三种情况:(1)若,都是偶数,那么也是偶数,所以,(2)若,都是奇数(3)若和奇偶性相反,.2024/7/2870例1证明(是例3:(是的任一元)固然是一个到的映射,但不是同态映射.因为,对于任意的和来说,2024/7/2871例3:(是性质1（1）反身性:（2）传递性:注:对称性不成立定义和是两个代数系统,如果存在一个到的同态满射,就称和同态.记号:2024/7/2872性质1定义和是两个代数系统,如果存在一个定理1假定,对于代数运算和来说,到同态.那么,（1）若适合结合律,也适合结合律；（2）若适合交换律,也适合交换律.2024/7/2873定理1假定,对于代数运算和来说,到同态于是证明我们用来表示到的同态满射.（1）假定是的任意三个元.由于是同态满射,我们在里至少找得出三个元,来,使得在之下,(2)证明类似.注:这种通过同态映射过渡的方法在证明具有一般性2024/7/2874于是证明我们用来表示到的同态满射.(2定理2假定,都是集合的代数运算,都是集合的代数运算,并且存在一个到的满射,使得与对于代数运算来说同态,对于代数运算来说也同态.那么(1)若适合第一分配律,也适合第一分配律.(2)若适合第二分配律,也适合第二分配律.证明注:,由的性质可以推出具有同样的性质;反过来不成立.2024/7/2875定理2假定,都是集合的代数运算,定义（同构映射）定义和 是两个代数系统,如果存在一个到的同构映射,就称和同构.记号:自同态、自同构的概念可以自然的给出2024/7/2876定义（同构映射）定义和是两个代数系统,如果存在同构的代数系统意味什么例 ,0120 1 2 1 2 02 0 13 4 53453 4 54 5 35 3 4012与的代数运算与的表请比较两个运算表异同之处?2024/7/2877同构的代数系统意味什么例,00在A的运算表,进行变换:变成了什么?它们可以统一成为一个运算表.2024/7/2878在A的运算表,进行变换:变成了什么?2023/8/12024/7/28792023/8/1779（矛盾）2024/7/2880（矛盾）2023/8/1780小结现在我们看两个任意的，对于代数运算和来说是同构的集合和我们可以假定，并且在与间的同构映射之下，由于同构映射的性质，我们知道，抽象地来看，与 这两个代数系统，没有任何区别（只有命名上的不同而已）.2024/7/2881小结现在我们看两个任意的，对于代数运算和来说是同构的6等价关系与集合的分类2024/7/28826等价关系与集合的分类2023/8/17822024/7/28832023/8/17832024/7/28842023/8/17842024/7/28852023/8/17852024/7/28862023/8/17862024/7/28872023/8/17872024/7/28882023/8/17882024/7/28892023/8/1789第二章群1 群的定义和初步性质2 群中元素的阶3 子群4 循环群5 变换群6 置换群7 陪集、指数和Lagrange定理2024/7/2890第二章群1群的定义和初步性质2群中元素的阶1 群的定义和初步性质定义（第一定义）：称G关于该运算作成一个群。2024/7/28911 群的定义和初步性质定义（第一定义）：称G关于该运算作成定义（第二定义）：称G关于该运算作成一个群。2024/7/2892定义（第二定义）：称G关于该运算作成一个群。2023/8/1定义（第三定义）：称G关于该运算作成一个群。2024/7/2893定义（第三定义）：称G关于该运算作成一个群。2023/8/12024/7/28942023/8/17942024/7/28952023/8/1795定义：2024/7/2896定义：2023/8/1796定义：一个群叫做有限群，假如这个群的元的个数是一个有限数不然的话，这个群叫做无限群定义：一个群叫做交换群（Abel群），假如对于的任何两个元，都成立2024/7/2897定义：一个群叫做有限群，假如这个群的元的个数是一个有限数例1：例3：2024/7/2898例1：例3：2023/8/1798例5：例6：2024/7/2899例5：例6：2023/8/17992024/7/281002023/8/17100推论1群中消去律成立若，那么；若，那么2024/7/28101推论1群中消去律成立2023/8/171012024/7/281022023/8/17102#2024/7/28103#2023/8/171032024/7/281042023/8/171041 群中元素的阶2024/7/281051 群中元素的阶2023/8/17105定义1：群的一个元素,使得的最小的正整数叫做的阶若是这样的一个不存在，我们说，是无限阶的的阶用符号 表示2024/7/28106定义1：群的一个元素,使得的最小的正整注(1)当 为加群时,其运算记为加法,单位元为0,则的最小正整数为元素a的阶。(3)群的阶和元素的阶不是一回事.(2)2024/7/28107注(1)当为加群时,其运算记为加法,的例1：例2：2024/7/28108例1：例2：2023/8/171082024/7/281092023/8/171092024/7/281102023/8/171102024/7/281112023/8/171112024/7/281122023/8/171122024/7/281132023/8/171132024/7/281142023/8/17114（反例P43）2024/7/28115（反例P43）2023/8/171152024/7/281162023/8/171162024/7/281172023/8/171173子 群 讨论子对象是一个常用的代数方法.我们看一个群假如由里取出一个非空子集来，那么利用的乘法可以把的两个元相乘对于这个乘法来说，很可能也作成一个群定义1一个群的一个非空子集叫做的一个子群，假如对于的乘法来说作成一个群,用符号表示群，则至少有两个子群：；只包含单位元的子集（平凡子群）2024/7/281183子群讨论子对象是一个常用的代数方法.我们看一定理2：一个群的一个非空子集作成的一个子群的充分而且必要条件是：（）（）2024/7/28119定理2：一个群的一个非空子集作成的一个证明充分性：1）由于（），是闭的；2）结合律在中成立，在中自然成立；3）因为至少有一个元，由（），也有元，所以由（），4）由（），对于的任意元来说，有元，使得必要性显然成立2024/7/28120证明充分性：必要性显然成立2023/8/17120定理3:一个群的一个非空子集作成的一个子群的充要条件是：（）证明I.我们先证明，（）和（）成立，（）就也成立假定，属于，由（），由（），II.现在我们反过来证明，由（）可以得到（）和（）假定由（），于是（）成立2024/7/28121定理3:一个群的一个非空子集作成的一假定，由刚证明的，；由（），,即(i)成立#例1：一个群的一个非空有限子集作成的一个子群的充要条件是：2024/7/28122假定，由刚证明的，2024/7/281232023/8/171232024/7/281242023/8/171242024/7/281252023/8/17125容易证明:,定义3：设A，B是群G的两个非空子集,规定2024/7/28126容易证明:证明:设H是G的子群,那么,(?)另一方面,所以,而:,所以.反过来,构成的一个子群.2024/7/28127证明:2023/8/17127推论2：一个群的一个不空子集作成的一个子群的充分而且必要条件是：推论2一个群的一个非空有限子集作成的一个子群的充分而且必要条件是：2024/7/28128推论2：一个群的一个不空子集作成定理5：设H,K是G的两个子群,那么HK是子群的充要条件是HK=KH证明:如果HK是子群,那么由推论1：(HK)-1=HK同时,(HK)-1=K-1H-1=KH,所以HK=KH反过来,如果HK=KH，则(HK)(HK)-1=HKK-1H-1=HKKH=HKH=HHK=HK2024/7/28129定理5：设H,K是G的两个子群,那么HK是子群证明:如2024/7/281302023/8/171302024/7/281312023/8/17131（群G不可能是两个真子群的并）2024/7/28132（群G不可能是两2023/8/171324循环群2024/7/281334循环群2023/8/171332024/7/281342023/8/171342024/7/281352023/8/171352024/7/281362023/8/171362024/7/281372023/8/171372024/7/281382023/8/171382024/7/281392023/8/17139（同构）2024/7/28140（同构）2023/8/171402024/7/281412023/8/171412024/7/281422023/8/171422024/7/281432023/8/17143变换群例，：，：，：，：，构成群（双射变换群）2024/7/28144变换群例，2023/8/171442024/7/281452023/8/171452024/7/281462023/8/171462024/7/281472023/8/171472024/7/281482023/8/171482024/7/281492023/8/171492024/7/281502023/8/17150定理：任何一个群都同一个双射变换群同构(Cayley定理）2024/7/28151定理：任何一个群都同一个双射变换群2023/8/171512024/7/281522023/8/171522024/7/281532023/8/171536.置换群 定义1:定义2:的一个把变成变到，变到，变到，而使得其余的元，假如还有的话，保持不变的置换，叫做一个循环置换这样的一个置换我们用符号，或来表示2-循环称为对换.2024/7/281546.置换群定义1:定义2:的一例1：我们看，这里2024/7/28155例1：我们看，这里2023/8/171552024/7/281562023/8/17156证：1）归纳法1.当不使任何元变动的时候，就是当是恒等置换的时候，定理是对的2024/7/28157证：1）归纳法1.当不使任何元变动的时候2.假定对于最多变动 个元的 定理是对的现在我们看一个变动 个元的 我们任意取一个被 变动的元 ，从 出发我们找 的象 ，的象 ，这样找下去，直到我们第一次找到一个 为止，这个 的象不再是一个新的元，而是我们已经得到过的一个元:因为我们一共只有 个元，这样的是一定存在的我们说因为已经是的象，不能再是的象这样，我们得到2024/7/281582.假定对于最多变动个元的定理是对因为只使个元变动，假如，本身已经是一个循环置换，我们用不着再证明什么假如，由公式（1），2024/7/28159因为只使个元变动，但只使得个元变动，照归纳法的假定，可以写成不相连的循环置换的乘积：在这些里不会出现.不然的话,那么同不会再在其余的中出现,也必使但我们知道,使得不动,这是一个矛盾.这样,是不相连的循环置换的乘积:证完2024/7/28160但只使得个元变动，照归纳法的例2：的全体元用循环置换的方法写出来是，；2024/7/28161例2：的全体元用循环置换的方法写出来是，2024/7/281622023/8/171622024/7/281632023/8/171632024/7/281642023/8/171642024/7/281652023/8/171652024/7/281662023/8/171662024/7/281672023/8/171672024/7/281682023/8/171682024/7/281692023/8/171692024/7/281702023/8/171702024/7/281712023/8/171717.陪集、指数和Lagrange定理2024/7/281727.陪集、指数和Lagrange定理2023/8/17172024/7/281732023/8/171732024/7/281742023/8/171742024/7/281752023/8/171752024/7/281762023/8/17176定义2：一个群G的一个子群H的互异左陪集（或右陪集）的个数叫做H在G里的指数记为：(G:H)2024/7/28177定义2：一个群G的一个子群H的互异左陪集（或2023/8/12024/7/281782023/8/171782024/7/281792023/8/17179(?)2024/7/28180(?)2023/8/171802024/7/281812023/8/171812024/7/281822023/8/17182(?)2024/7/28183(?)2023/8/171832024/7/281842023/8/171842024/7/281852023/8/171852024/7/281862023/8/171862024/7/281872023/8/171872024/7/281882023/8/17188