§1.2 群的概念.pptx

§1.2 群的概念 群的定义 群的性质 群的判别 一．群的定义 例１　有理数的加法、减法和乘法都是有理数集 Q上的代数运算,除法不是Q上的代数运算．如果只考 虑所有非零有理数的集合Q*, 则除法是Q*上的代数运 算. 证　我们只要证明, 上面规定的运算及剩余类 的代表元的选取无关即可．设 则 于是 从而 （unit element）或恒等元（identity）； （commutative group）或阿贝尔群（abelian group)． 所以结合律成立. 注　1．当群的运算用加号 “＋”表示时，通常 2．习惯上，只有当群为交换群时，才用“＋” 来表 示群的运算，并称这个运算为加法，把运算的 结果叫做和，同时称这样的群为加群．相应地, 将 不是加群的群称为乘群，并把乘群的运算叫做乘法， 运算的结果叫做积．在运算过程中，乘群的运算符号 通常省略不写．今后，如不作特别声明，我们总假定 群的运算是乘法．当然, 所有关于乘群的结论对加群 也成立（必要时, 作一些相关的记号和术语上改变）． 例４　全体非零有理数的集合Q*关于数的乘法 构成交换群, 这个群的单位元是数1，非零有理数 构成交换群． 的乘法也满足交换律和结合律． 所以结合律成立． 所以交换律成立． 且 且 所以结合律成立. 且 直接计算，可得 表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 在一个群表中, 表的左上角列出了群的运算符号 （有时省略），表的最上面一行则依次列出群的 所有元素（通常单位元列在最前面），表的最左 列按同样的次序列出群的所有元素．表中的其余 部分则是最左列的元素和最上面一行的元素的乘 元素．由群表很容易确定一个元素的逆元素． 又如果一个群的群表是对称的，则可以肯定，这个 群一定是交换群． 二．群的性质 因此 所以单位元是惟一的． 于是 (4) 直接计算可得 及 从而由逆元的惟一性得 同理可证另一消去律．　　　　　　　　　□ 这就证明了惟一性． 同理可证另一方程也有惟一解．　　　　　　□　 指数及指数法则 据此, 我们可以定义群的元素的方幂 再约定 相应地, 指数法则变为倍数法则： （因为加群是交换群，所以（3）对加群总是成立的）． 三．群的判别 证　必要性　由群的定义，这是显然的． 逆元即可． 于是 且 注　这个定理说明，一个具有乘法运算的非空 有左逆元，就构成一个群． 证　必要性　已证（见定理1.2.2）． 于是由定理1.2.3知，构成群． □ 个群． 证　设 所以 参考文献及阅读材料 [1] 潘承洞，潘承彪．初等数论．北京： 北京大学出版社，1998 [2] 中国大百科全书数学．北京，上海： 中国大百科全书出版社，1988 [3] 数学百科全书 (第二卷)．北京： 科学出版社，1995