离散数学第2版课件作者尤枫第07章节半群与群.PPTVIP

第7章 半群与群 7.1半群与独异点 7.2 群与子群 7.3 交换群与循环群 7.4 变换群与置换群 7.5 陪集、正规子群与商群 7.3 交换群与循环群 第7章 半群与群 gk = gh+mq = gh*gmq = gh 故f是个单射函数。又f显然是满射的， 因此，f是双射的。因为 f(gk*gh) = f(gk+h) = [k+h] = [k]+m[h] = f(gk)+mf(gh) 所以，g,*与Im,+m同构。 7.3 交换群与循环群 第7章 半群与群 证明(2) 作一函数 f:g?I，f(gk)=k 若gk?gh，则k?h；若k=h，则gk=gh， 故f是单射的。 又因对于任意的k∈I，存在gk∈g，使得 f(gk)=k 故f又是满射的。因此，f是双射的。因为 f(gk*gh) = f(gk+h)= k+h = f(gk)+f(gh) 所以，g,*与I,+同构。证毕。 7.3 交换群与循环群 第7章 半群与群 定理7-20 每个循环群都是交换群。 证明 设U=S,*是一循环群，生成元是g，则对于 任意的x,y∈S，存在正整数m,n∈I 使得 x=gm，y=gn 于是有 x*y = g