- 1、本文档共112页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第7章 半群与群 7.1半群与独异点 7.2 群与子群 7.3 交换群与循环群 7.4 变换群与置换群 7.5 陪集、正规子群与商群 7.3 交换群与循环群 第7章 半群与群 对于循环群U=g,*来说,根据生成元周期的特点可分为两类循环群。当生成元g的周期为无限时,U是一个无限周期循环群,这时, g={gn|n∈I,当m?n时,gm?gn} 当生成元g的周期为限时,U是一个有限周期循环群。若周期为n,则 g={e,g,g2,… ,gn-1} 关于循环群U=g,*的生成元的个数,一般说来,若U是一个无限周期循环群,则U中只有g和g-1两个生成元;若U是一个有限周期循环群,且周期为n,则U中有?(n)个生成元。?(n)是欧拉函数,表示小于n且与n互素的正整数的个数。 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是双射的。因为 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 = gm*gn = gm+n y*x = gn*gm = gn+m = gm+n 从而 x*y = y*x 所以,U是交换群。 7.3 交换群与循环群 第7章 半群与群 定理7-21 设U=S,*是由g生成的有限循环群。若 |S|=n,则必有gn=e,且 S={g1,g2,…,gn=e} 其中,n是能使gn=e的最小正整数。 证明 设有小于n的正整数m,使得gm=e。 由于U是循环群,故S中元素都可表示成gk, 其中k∈I,而且k=mq+r,q是某个整数, 0≤r?m。即 gk = gmq+r = (gm)q*gr = gr 7.3 交换群与循环群 第7章 半群与群 就是说,S中的每个元素都可表示成gr(0≤r?m),这样,S中最多有m个元素,而m?n,这与|S|=n矛盾。故gm=e(m?n)是不可能的。又,S中任意一个元素的周期都小于等于n(定理7-14),所以,gm=e。 下面证明g1,g2,…,gn互不相同。用反证法。 设gi=gj,1≤i?j≤n。于是有 gj-i=e,1≤j-i?n 上面已经证明这是不可能的。因此,g1,g2,…,gn互不相同。所以 S={g1,g2,…,gn=e} 证毕。 第7章 半群与群 设S是一个非空集合,从S到S的一个函数映射f称 为S的一个变换,若f是双射的,则称f是S的一个一 一变换。当S是一个有限集合时,S的一个一一变换 称为S上的一个置换;若S中有n个元素,则称置换 为n元置换(或n次置换)。 7.4 变换群与置换群 第7章 半群与群 定义7-16 设E(S)是S上的全体一一变换的集合,则 对于合成运算?,E(S),?构成一个群, 这个群称为S上的一一变换群。E(S),? 的子群称为变换群。 定义7-17 Sn,?的任何一个子群称为集合
您可能关注的文档
- 理论力学 作者 张居敏 杨侠 许福东 2.2、平面任意力系的合成与平衡.ppt
- 理论力学 作者 张居敏 杨侠 许福东 3.1空间力偶、力矩及其性质.ppt
- 理论力学 作者 张居敏 杨侠 许福东 3.2空间任意力系的简化与合成.ppt
- 理论力学 作者 张居敏 杨侠 许福东 4.2、滑动摩擦与滚动摩擦.ppt
- 理论力学 作者 张居敏 杨侠 许福东 5.1.2直角坐标法.ppt
- 理论力学 作者 张居敏 杨侠 许福东 5.2.1、刚体的平行移动.ppt
- 理论力学 作者 张居敏 杨侠 许福东 5.2.3、课后自学材料:综合应用举例.ppt
- 理论力学 作者 张居敏 杨侠 许福东 6.1、平面运动图形上任意两点之间的速度、加速度关系;.ppt
- 理论力学 作者 张居敏 杨侠 许福东 6.2、速度投影定理和速度瞬心.ppt
- 理论力学 作者 张居敏 杨侠 许福东 6.3、课后自学材料:行星轮系传动比的计算.ppt
- 离散数学 第2版 作者 尤枫 第08章 环和域.PPT
- 离散数学 第2版 作者 尤枫 第10章 图.PPT
- 离散数学 作者 杨圣洪 张英杰 陈义明 ch1命题逻辑.ppt
- 离散数学 作者 杨圣洪 张英杰 陈义明 ch2谓词逻辑.ppt
- 离散数学 作者 杨圣洪 张英杰 陈义明 ch3集合论与关系.ppt
- 离散数学 作者 杨圣洪 张英杰 陈义明 ch4代数系统.ppt
- 离散数学导论(盘) 作者 王元元 张桂芸 第八章演示文稿.ppt
- 离散数学导论(盘) 作者 王元元 张桂芸 第二章演示文稿.ppt
- 离散数学导论(盘) 作者 王元元 张桂芸 第七章演示文稿.ppt
- 离散数学导论(盘) 作者 王元元 张桂芸 第三章演示文稿.ppt
文档评论(0)