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

第7章 半群与群 7.1半群与独异点 7.2 群与子群 7.3 交换群与循环群 7.4 变换群与置换群 7.5 陪集、正规子群与商群 7.3 交换群与循环群 第7章 半群与群 定理7-19 设U=g,*是一个循环群， (1)若g的周期是有限的，则g,*与Im,+m同构； (2)若g的周期是无限的，则g,*与I,+同构。 证明 (1)设g的周期为m。作一函数 f:g?Im，f(gk)=[k] 先证明f是个双射函数。 若gk?gh，则[k]?[h]。 若[k]=[h]，则k-h=mq（如在I4中，[9]=[1]，故9-1=4×2）。k=h+mq，于是， 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是