离散数学第五篇.pptVIP

* * 定理5-11的结论对于无限群不成立。例如群 I；+ . 例1 对于5.2节例2中的群Z4;?4 , 单位元0的周期是1； 1和3的周期均为4；2的周期为2，群Z4;?4的阶4. 例2 设G;* 是一个群，且对于任意的a,b?G，有 (a*b)2=a2*b2 , 则 G;* 是阿贝尔群， 由已知（a*b)2=a2 *b2 (a*b) *(a*b)=(a*a) *(b*b) a*(b*a)*b = a*(a*b)*b 利用定理5-7的相约性得 b*a = a*b * * 练习 1．填空 设Z6 ={0,1,2,3,4,5},?6 是模6的加法，定义为：a?6b =res6(a+b)，Z6;?6 是一个群。 （1）群Z6; ?6 的单位元是 。 （2）1的逆元是 ；2的逆元是 ；3的逆元是 。 （3）1的周期是 ，1与 的周期相同。 （4）2的周期是 ，2与 的周期相同。 0 5 4 3 6 5 3 4 2. 判断下述论断正确与否，在相应的括号中键入“Y” 或“N” 设G;* 是群，a,b?G , a的周期为5, b的周期为3。则 （1） a3=e, a5=e, a8=e, a10=e, a14=e ( ) ( ) ( ) ( ) ( ) （2） b2=e, b3=e, b5=e, b6=e, b9=e, b15=e ( ) ( ) ( ) ( ) ( ) ( ) Y N N Y N N Y N Y Y　　Y * * 5．4 子群及其陪集 一、子群的定义 　 定义5-12 设G;* 是一个群，若H;* 是G;* 的子 代数，单位元e?H，且对于任意的a?H，有 a-1?H，则称H;* 是G;* 的子群。 e a G H 若H;*是G;* 的子群，则H;* 也是群. 半群，独异点和群这三个概念之间的区别：半群N;+，独异点Z;+，群I;+。 * * I；+既是半群、独异点，也是一个群，对于 I 的三个子集： E1 ；+只能看作是I ；+的子半群， E2 ；+只能看作是I ；+的子独异点， 只有 E3 ；+才是I；+的子群。 对于任意的整数m，若令Im={mi | i?I}。 则Im;+可构成I；+的子群。 * * 例1 Klein的四元群{a,b,c,e};?有如下子群： 子集{e,a,b}不能构成G;?的子群， 子集{a}或{a,b,c}也不能构成G;?的子群 ? e e a b c a a e c b b b c e a c c b a e e a b c {e};?, {e,a};?, {e,b};?, {e,c};?和 G;? * * 二、子群的判别 要判断H对于运算能否构成G;*的子群，需要弄清以下三个问题。 1 封闭性：对于任意a,b?H，是否有a*b?H； 2 单位元：是否有e?H； 3 可逆性；对于任意a?H，是否有a-1?H； 定理5-12 设G;*是群, H是G的非空子集, 则 H;*是G;*的子群。 * * iff （Ⅰ） （1）对任意的a,b?H，有a*b?H; （2）对任意的a?H，有a-1?H。 iff （Ⅱ）（3）对任意的a,b?H，可得a*b-1?H。 iff （Ⅲ）（4） H;*是群。 证明：（Ⅰ）设 H;*是G;*的子群，由子群的定义 5-12知（Ⅰ）中的(1)和(2)成立。 （1）成立，保证 H;*是子代数。 （2）成立，保证可逆性，且 e=a*a-