群的扩张与群的上同调的研究.doc
《群的扩张与群的上同调的研究.doc》由会员分享,可在线阅读,更多相关《群的扩张与群的上同调的研究.doc(18页珍藏版)》请在咨信网上搜索。
1、安庆师范学院数学与计算科学与2013届毕业论文各专业全套优秀毕业论文图纸群的扩张与群的上同调的研究作者: 指导老师:摘要: 确定哪些G是给定群H通过群N扩张是群扩张问题,从19世纪来就被广泛研究.上同调是使用一系列函子Hn研究这个问题的重要方法。本文综述群的中心扩张与循环扩张的概念以及上同调群的定义,最后列出上同调在群扩张问题上的基本应用。关键词:上同调群 群扩张 群上同调1 引言在数学和抽象代数中,群论研究名为群的代数结构。群的概念在数学的许多分支都有出现,而且群论的研究方法也对抽象代数的其它分支有重要影响。时至今日,群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一,它不但渗透到
2、诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用,还形成了一些新学科,如拓扑群、李群、代数群、算术群等。群的扩张是群论中的一个重要问题,其自诞生之后就进行着不断的发展和演变,近代研究者们讨论了由群扩张构成的群系 ,给出它为饱和群系的几种情况及局部定义组。在本文中,将主要就群扩张的基本类型进行综述,介绍相关的概念和性质。群的上同调是一套研究群及其表示的代数工具,其源于代数拓扑,并在代数数论上也有重要的作用,它是现代类域论的基本构件之一。本文在群扩张的基础上,给出上同调群的相关定义,最后通过一些定理和实例详述上同调在群扩张问题上的基本应用。2 群的扩张2.1 正规子群和
3、商群的合成一般的说,包含已知群的任何群都叫做的扩张.本文将只讨论是的正规子群的情形.施赖尔最先考虑构造所有这样的群的问题,具有已知的正规子群和已知的商群至少总存在一个这样的群,因为和的直积就具有这个性质.我们先假定给了这样的群,设商群的元素记做的每个元素对应于在内的一个傍系.设对应于的傍系在内的代表是,而且约定用的单位元素作为的代表.于是 (2.1.1)而且同态使得 (2.1.2)于是对于所有,映射 (2.1.3)是的自同构,因为是正规子群.又因为在从到上的同态下,所以, (2.1.4)这里.由(2.1.4)给定的所有元素的集合我们叫做因子组,于是在的构造中出现下列四个已知条件: 正规子群.
4、商群. 的自同构: 由组成的因子组,这里必须强调的是,一般地说,由(2.1.3)和(2.1.4)定出的自同构和因子组依赖于与对应的傍系的代表的选取. 定理2.1.1 给了具有正规子群和商群的群.如果选取傍系代表,这里而且取,则就决定满足下列条件的自同构和因子组: 反之,如果对于每个,给定的自同构,而且对于这些自同构和因子组,上述条件成立,则元素连同乘法规则决定具有正规子群和商群的群.如果略去的要求,则取作为的单位元素时定理仍然成立.由和因子组决定的唯一扩张将记做如果更换在的傍系代表,取 (2.1.5)而且规定即,则自同构就更换成 (2.1.6)而因子组更换成因子组,使得 . (2.1.7) 定
5、义2.1.1.两个扩张和是等价的,加入在自同构和因子组之间有关系这里是元素的在内取值的函数,而且.我们记做与的等价性取决于更换同一个群内子群的傍系代表,因而它显然是对称的、自反的和传递的真等价关系.如果在内的傍系代表能取成使 (2.1.8)即,则傍系代表组成同构于的群,可以把它与等同起来.如果这种情形出现,则我们说是的可裂扩张,或说是和的半直积.定理2.1.2. 是的可裂扩张,必要而且只要存在函数使得对于所有,都有证明. 如果所取的傍系代表使成为的可裂扩张,则,而且当取时,就有 (2.1.9)反之,如果函数存在,使得(2.1.9)成立,利用条件决定对应于的自同构.于是存在,而且等价于对所有都有
6、的扩张,因而是的可裂扩张.2.2 中心扩张假定在群借助于群的扩张中,所有因子都属于的中心.那么我们说是借助于群的中心扩张.例如如果是阿贝尔群,则,因而的所有扩张都是中心扩张.对于中心扩张,简化成, (2.2.1)这说明的自同构组成一个群,它是的同态像.设表示从到的自同构群的同态.再有,如果傍系代表由属于的因子来更换,则自同构不变.因此,对于扩张,自同构是固定的而且组成一个群,它是的同态像.对于中心扩张,这就取消了条件,而只需要考虑.这时对于等价的扩张有, (2.2.2)这里.如果因子组和都满足,而且组成决定的扩张的因子组.在因子组乘积的这个定义下,存在着单位元素,即所有的因子组,还存在逆,即把
7、换成的因子组.再有,对于等价的因子组,如果和,则.因此全体因子组是一个阿贝尔群,即使把等价的因子组等同起来也是如此.把等价的因子组等同起来而得到的群叫做扩张群.设是有限的,我们定义. (2.2.3)对于所有的乘起来,我们得出, (2.2.4)这里是的阶.与(2.2.2)比较,. (2.2.5)又如果是的所有元素的阶的倍数,则因为,所以. (2.2.6)因此得到如下定理:定理 2.2.1. 扩张群的任意元素的阶整除的阶和的元素的阶的最小公倍数.推论2.2.1. 如果和是互素的,则的所有扩张都等价于和的半直积.定理2.2.2. 设阶有限群包含阶正规子群而且具有阶的商群,这里和是互素的.那么是的可裂
8、扩张.证明. 只要证明具有阶的子群.我们对施行归纳法,当时定理是显然成立的.设而且是整除的素数.中对应于的所有西罗子群是的子群,因为至少包含一个西罗子群,而且是正规的,因而的共轭者也属于.因此内的西罗子群的个数与内的个数相同.再由(表示不想交的共轭类,而且的每一个元素恰好是一个共轭类的元素),因而,和分别是在和内的正规化子.这时当然有,且是的正规子群.如果是的真子群,则根据归纳假设,它包含阶的子群.因此可以假定,于是.如果是的真子群,则根据归纳假设,包含阶为而且同构于的子群,因而包含同构于的阶子群,这就证明了定理.因此问题归结为的情形.这时如果是阿贝尔群,则是的中心扩张,因而根据定理3的推论,
9、是的可裂扩张,证明了定理.如果不是阿贝尔群,则的中心是的真子群,而且是的特征子群,它必定是的正规子群.因此,根据归纳假设,包含阶子群.于是在的对应子群内是正规的而且有指数,因而根据归纳假设,包含阶子群,这就对最后这种情形证明了定理.2.3 循环扩张假设是由元素生成的阶的有限循环群;的元素是 (2.3.1)设,取作为映成的的傍系代表,还可以取作为分别映成的的傍系代表,因而 (2.3.2)这时, (2.3.3)这里是的元素.于是对于的自同构,必定有 (2.3.4)其次从恒等式 (2.3.5)得出 (2.3.6)我们来证明,(2.3.4)和(2.3.6)完全决定了借助于的扩张.定理 2.3.1. 设
10、是阶的有限循环群.那么群借助于的扩张存在,必要而且只要存在的自同构和元素,使得(2.1.1)这自同构的次方次幂是由作变形而得出的的内自同构,而且(2.1.2)在这自同构下不变.证明. 我们已经知道,如果扩张存在,则自同构和元素满足(2.3.4)和(2.3.6).反之,我们来证明(2.3.4)和(2.3.6)足以决定一个扩张.的元素是,或我们按下列方式定义自同构和因子组: (2.3.7) 如果 (2.3.8) 如果 (2.3.9)利用这些定义我们容易验证和满足,因而根据定理2.1.1,决定了一个扩张.如果是无限阶的循环群,我们可以令对于所有和都成立,而且我们发现自同构不必加以限制.这说明对于所有
11、都成立.3 群的上同调3.1 二重模设是任意乘法群而且是二重模,即是满足下列条件的加法阿贝尔群: 以作为左右两边算子的群,使得对于给定的和,和是的唯一决定的元素. 分配性,因而, , . ,这里是的单位元素. 结合性 , 这些定律对于所有和所有都成立.实质上,二重模就是这样的加法阿贝尔群,它以的元素作为可分配的算子.在应用中常常出现在一边(例如左边,是恒同地作用的,这是说对于所有和都有).这种情形下,我们简单的略去左边算子,而且把它说成单边的模.举例说,设是群的正规的阿贝尔子群而且记作如果,则只取决于和,而不依赖于在傍系中的选取.因而可以记而不致引起误会.这就是单边模的例子,只不过是用乘法表出
12、的.在展开上同调的一般定理时,用加法记号表出是比较方便的做法.3.2 上链,上边缘和上同调群给了二重模,我们定义为个变量的所有函数组成的加法群,这个变量独立地在内取值,函数数值在内取,而且满足条件:如果至少有一个,则. (3.2.1)的元素叫做维上链.根据定义,而零维上链根本就是的任意元素.上边缘算子是指从到的下列映射: . (2.3.2)这里,而且容易验证.映射对于加法说是同态.在群论中特别有用的是的情形.这时上边缘公式是因为 , , (2.3.3)定理 3.2.1. 如果是任意上链,则证明. 取使.那么.因此,当我们根据定义用的值来表示时,我们得到正负交替的项:这里每个在用的值表出时是正负
13、交替的项,我们可以写成: .因此,这里和取到的值.然后容易验证,对于所有和都有.因此上述等式的右边等于零.如果有条件,则叫做维上圈,这些上圈组成由导出的从到的同态的核.如果而且存在元素使得,则叫做维上边缘.这些上边缘组成在映射下的像.我们定义.根据定理3.2.1,每个上边缘都是上圈,因而对于所有.商群叫做二重模的维上同调群.我们把它记做.在上链的定义中,我们用(3.2.1)限定在有一个或更多的元是单位元素时上链取零值.在很多情形里这种限制是能满足的,例如在应用到前面提到过的因子组时就是如此.我们把这种上链叫做正规化的.当(3.2.1)这个限制被略去时,我们说成未正规化的上链.定理3.2.1当然
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 扩张 同调 研究
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【精****】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【精****】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。