近世代数--群的概念.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,1.2,群的概念,群的定义,群的性质,群的判别,一群的定义,定义,1.2.1,设 是一个非空集合,若对 中任意,两个元素,通过某个法则,“”，,有 中惟一确定的,则称法则,“”,为集合上的一个,代数运,元素 与之对应,算（,algebraic operation,）,元素 是 通过运,算,“”,作用的结果,我们将此结果记为,例,有理数的加法、减法和乘法都是有理数集,Q,上的代数运算,除法不是,Q,上的代数运算如果只考,虑所有非零有理数的集合,Q,*,则除法是,Q,*,上的代数运,算,.,剩余类集对 ，规定,例,设 为大于,1,的正整数，,为,的模,证,我们只要证明,上面规定的运算与剩余类,的代表元的选取,无关即可设,则,于是,从而,则“”与“”都是 上的代数运算,所以,+,与 都是 上的代数运算,.,一个代数运算，即对所有的 有 如,果 的运算还满足,(G1),结合律，即对所有的 有；,(G2),中有元素 ，使对每个 ，有,定义,1.2.2,设 是一个非空集合，,“”,是 上的,(G3),对 中每个元素 ，存在元素 ，使,在不致引起混淆的情况下,也 称为群,（,unit element,）,或,恒等元,（,identity,）；,注,1,(G2),中的元素 称为群 的,单位元,(G3),中的元素 称为 的,逆元,（,inverse,）,则称 关于运算,“”,构成一个,群,（,group,），,记作,我们将证明：群 的单位元 和每个元素的逆元,都是,惟一的 中元素 的惟一的逆元通常记作 ,（,commutative group,）,或,阿贝尔群,（,abelian,group,),，,有 ，则称 是一个,交换群,3,群 中元素的个数称为群 的,阶,（,order,），,记为 如果 是有,限数,则称 为,有限群,2,如果群 的运算还满足交换,律，即对任意的,（,finite group,），,否则称 为,无限群,（,infinite group,).,例,整数集 关于数的加法构成群这个群,称为整数加群,证,对任意的,，,有,，,所以“”,是 上的一个代数运,算同时，对任意的,有,所以结合律成立,.,另一方面,，,且,有,又对每个 有,从而 关于“”构成群，显然,这是一个交换群,所以,0,为,的单位元,.,所以 是 的逆元,.,注,1,当群的运算用加号“”表示时，通常,将 的单位元记作,0,，并称,0,为 的零元；将,的逆元记作,并称 为 的负元,2,习惯上，只有当群为交换群时，才用“”,来表,示群的运算，并称这个运算为,加法,，把运算的,结果叫做,和,，同时称这样的群为,加群,相应地,将,不是加群的群称为,乘群,，并把乘群的运算叫做,乘法,，,运算的结果叫做,积,在运算过程中，乘群的运算符号,通常省略不写今后，如不作特别声明，我们总假定,群的运算是乘法当然,所有关于乘,群的结论对加群,也成立（必要时,作一些相关的,记号和术语上改变）,例,全体非零有理数的集合,Q,*,关于数的乘法,构成交换群,这个群的单位元是数,1,，非零有理数,的逆元是 的倒数 同理，全体非零实数的,集,R,*,、,全体非零复数的集合 关于数的乘法也,构成交换群,例,实数域,R,上全体 阶方阵的集合 ，,关于矩阵的加法构成一个交换群全体 阶可逆,方阵的集合 关于矩阵的乘法构成群，,群中的单位元是单位矩阵 ，可逆方阵,的逆元是 的逆矩阵,当 时，是一个非交换群,例,集合 关于数的乘法构成交换群,关于数的乘法构成一个 阶交换群,证,(1),对任意的 ，因为,所以,例,全体 次单位根组成的集合,因此 于是“”是 的代数运算,(3),由于 ，且对任意的 ，,所以,1,为 的单位元,(4),对任意的 ，有 ，且,所以 有逆元 ,的乘法也满足交换律和结合律,(2),因为数的乘法满足交换律和结合律，所以,因此 关于数的乘法构成一个群通常称这个,群为,次单位根群,，显然 是一个具有 个元素的交换群,例,设 是大于,1,的正整数，则 关于剩余,类的加法构成加群,.,这个群称为 的,模 剩余类加,群,证,(1),由,例,知，剩余类的加法“”是 的,代数运算,(2),对任意的 ，,所以结合律成立,(3),对任意的,所以交换律成立,(4),对任意的 ，,且,所以,0,为 的零元,(5),对任意的,且,所以 为 的负元,从而知，关于剩余类的加法构成加群,例,设 是大于,1,的正整数，记,则 关于剩余类的乘法构成群,证,(1),对任意的 ，有,于是 ，从而 ,(2),对任意的,所以剩余类的乘法“”是 的代数运算,所以结合律成立,.,(3),因为 ，从而 ，且对任意的,且,所以,1,是 的单位元,(4),对任意的 ，有 ，,由,整数的性质可知，存在 ，使,所以 ，且,显然,所以 为 的逆元,从而知，的每个元素在,中都可逆,这就证明了 关于剩余类的乘法构成群,注,(1),群 称为 的,模 单位群,，显,然这是一个交换,群当 为素数时，常记作,.,易知，,(2),由初等数论可知（参见,1,），的阶等于,这里 是欧拉函数如果,其中 为的 不同素因子，那么,例,10,具体写出 中任意两个个元素的乘积以,及,每一个元素的逆元素易知,直接计算，可得,表,1.2.1,由表中很容易看出,注,观察表,1.2.1,，我们发现可以把表,1.2.1,表,示,为更加简单的形式（见表,1.2.2,）,表,1.2.2,1,2,3,4,1,1,2,3,4,2,2,4,1,3,3,3,1,4,2,4,4,3,2,1,形如表,1.2.2,的表通常称为群的,乘法表,（,multiplication table,），,也称,群表,（,group table,）,或,凯莱表,（,Cayley,table,）,人们常用群表来表述,有限群的运算如下表所示：,e,b,e,e,b,a,a,在一个群表中,表的左上角列出了群的运算符号,（有时省略），表的最上面一行则依次列出群的,所有元素（通常单位元列在最前面），表的最左,列按同样的次序列出群的所有元素表中的其余,部分则是最左列的元素和最上面一行的元素的乘,积注意，在乘积 中，左边的因子 总是,左列上的元素,右边的因子 总是最上面一行的,元素由群表很容易确定一个元素的逆元素,又如果一个群的群表是对称的，则可以肯定，,这个,群一定是交换群,二群的性质,定理,1.2.1,设 为群，则有,(1),群 的单位元是惟一的,；,(2),群 的每个元素的逆元是惟一的,；,(3),对任意的,，,有,；,(4),对任意的,，,有,；,(5),在群中消去律成立,，,即设,，,如果,，,或,，,则,证,(1),如果 都是 的单位元，则,（因为 是 的单位元），,因此,所以单位元是惟一的,(2),设 都是 的逆元，则,（因为 是 的单位元），,于是,所以 的逆元是惟一的,(3),因为 是 的逆元，所以,从而由逆元的定义知，是 的逆,元又由逆元,的,惟一性得,(4),直接计算可得,及,从而由逆元的惟一性得,(5),如果 ，则,同理可证另一消去律,定理,1.2.2,设,是群，那么对任意的,，,方程,及,在 中都有惟一解,证,取 ，则,所以方程 有解,又如 为方程 的任一解，即 则,这就证明了惟一性,同理可证另一方程也有惟一解,指数与指数法则,积与运算的顺序无关，因此可以简单地写成,群的定义中的结合律表明，群中 三个元素的乘,进一步可知，在群 中，任意 个元素,的乘积与运算的顺序无关，因此,可以写成,.,据此,我们可以定义群的元素的,方幂,对任意的正整数 ，定义,再约定,（为正整数）,则 对任意整数都有意义，并且不难证明：,对任,意的 有下列的,指数法则,(1),；,(2),(3),如果 是交换群，则,（如果 不是交换群，一般不成立）,当 是加群时,元素的方幂则应改写为,倍数,相应地,指数法则变为,倍数法则,：,(1),(2),(3),（因为加群是交换群，所以（,3,）对加群总是成立的）,定理,1.2.3,设,是一个具有代数运算的非空,集合，,则 关于所给的运算构成群的充分必要条件是,三群的判别,(1),的运算满足结合律；,(2),中有一个元素 （称为 的左单位元,）,使对,任意的 有,(3),对 的每一个元素 ，存在,（称为 的,左逆元），使 这里 是 的左单位元,证,必要性,由群的定义，这是显然的,充分性,只需证,:,是 的单位元,，是 的,逆元即可,设 由条件,(3),知，存在 使,而对于 也存在 使,于是,且,进而由条件（,1,）知，为群,由条件,(2),及式,(3),知，是 的单位元 是,的逆元，,注,这个定理说明，一个具有乘法运算的非空,集合 ，只要满足结合律，有左单位元，每个元,素,有左逆元，就构成一个群,同理可证，一个具有乘法运算的非空集合 ，如,果满足结合律，有右单位元，且 中每个元素有,右逆元，则 构成群,定理,1.2.4,设,是一个具有乘法运算且满足结,合律的非空集合，则 构成群的充分必要条件是：,对任意的 方程 及 在 中有解,.,证,必要性,已证（见,定理,1.2.2,）,充分性,任取 ，由条件知，,有解，,设为 ，则,.,又对任意的,，,有解,设为,设为,于是,从而知 是 的左单位元,其次，对每个 ，有解，设,为,.,于是,从而知 有左逆元,于是由,定理,1.2.3,知，构成群 ,例,11,设 是一个具有乘法运算的非空有限集合，,如果 满足结合律，且两个消去律成立，,则 是一,个群,对任意的 考察 与,，,如果,证,设,则由左消去律得，于是 这说明，,是,中 个不同的元素因 ，,同理可证，方程 在,中也有解,从而由,定理,1.2.4,知，是群,所以,因 故必存在 ，使 这说明，方程,在 中有解,参考文献及阅读材料,1,潘承洞，潘承彪初等数论北京：,北京大学出版社，,1998,2,中国大百科全书数学北京，上海：,中国大百科全书出版社，,1988,3,数学百科全书,(,第二卷,),北京：,科学出版社，,1995,