群的扩张群的上同调的研究毕业论文.docVIP

群的扩张与群的上同调的研究 摘要: 确定哪些G?是给定群H通过群N?扩张是群扩张问题,从19世纪来就被广泛研究.上同调是使用一系列函子?Hn研究这个问题的重要方法。本文综述群的中心扩张与循环扩张的概念以及上同调群的定义，最后列出上同调在群扩张问题上的基本应用。 关键词:上同调群 群扩张 群上同调 1 引言 在数学和抽象代数中，群论研究名为群的代数结构。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。时至今日，群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一，它不但渗透到诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用，还形成了一些新学科，如拓扑群、李群、代数群、算术群等。 群的扩张是群论中的一个重要问题，其自诞生之后就进行着不断的发展和演变，近代研究者们讨论了由群扩张构成的群系 ,给出它为饱和群系的几种情况及局部定义组 , 这些定律对于所有和所有都成立. 实质上，二重模就是这样的加法阿贝尔群，它以的元素作为可分配的算子. 在应用中常常出现在一边（例如左边，是恒同地作用的，这是说对于所有和都有）.这种情形下，我们简单的略去左边算子，而且把它说成单边的模. 举例说，设是群的正规的阿贝尔子群而且记作如果，则只取决于和，而不依赖于在傍系中的选取.因而可以记而不致引起误会.这就是单边模的例子，只不过是用乘法表出的.在展开上同调的一般定理时，用加法记号表出是比较方便的做法. 3.2 上链，上边缘和上同调群 给了二重模，我们定义为个变量的所有函数组成的加法群，这个变量独立地在内取值，函数数值在内取，而且满足条件：如果至少有一个，则 . (3.2.1) 的元素叫做维上链.根据定义，而零维上链根本就是的任意元素. 上边缘算子是指从到的下列映射： . (2.3.2) 这里，而且容易验证.映射对于加法说是同态.在群论中特别有用的是的情形.这时上边缘公式是 因为 , ， (2.3.3) 定理 3.2.1. 如果是任意上链，则 证明. 取使.那么.因此，当我们根据定义用的值来表示时，我们得到正负交替的项： 这里每个在用的值表出时是正负交替的项，我们可以写成： . 因此 ， 这里和取到的值.然后容易验证，对于所有和都有.因此上述等式的右边等于零. 如果有条件，则叫做维上圈，这些上圈组成由导出的从到的同态的核. 如果而且存在元素使得，则叫做维上边缘.这些上边缘组成在映射下的像..我们定义. 根据定理3.2.1，每个上边缘都是上圈，因而对于所有.商群叫做二重模的维上同调群.我们把它记做 . 在上链的定义中，我们用（3.2.1）限定在有一个或更多的元是单位元素时上链取零值.在很多情形里这种限制是能满足的，例如在应用到前面提到过的因子组时就是如此.我们把这种上链叫做正规化的.当（3.2.1）这个限制被略去时，我们说成未正规化的上链.定理3.2.1当然对这两种情形都成立，因为在证明时并未用到定理6.它们的区别是为了某种便利，因为我们可以证明，关于未正规化的上链的各维上同调群都同构于正规化的上链的对应的上同调群. 定理 3.2.2. 关于未正规化的上链的维上同调群同构于关于正规化的对应的上同调群. 证明. 我们把维正规化的上链、上边缘和上圈分别记做，和，而且在未正规化的情形使用记号，和. 对于和，容易验证和，因而和在这两种情形里都相等这时主要的验算是：如果，则，因而在取时有，因而是正规化的，即. 现在假定.显然有和.因此关于的上同调类，即在内的傍系，对应于关于的唯一地同调类，即的包含它的傍系.这个对应当然是从到的同态.当两个上链的差是上边缘时，我们说这两个上链是上同调的.因而两个上圈上同调，必要而且只要它们属于同一个上同调类. 引理3.2.1. 每个未正规化的上圈总上同调于一个正规化的上圈. 引理3.2.2. 如果某个上链的上边缘是正规化的，则它是正规化的上链和上边缘. 引理3.3.3. 如果是正规化的，则是正规化的. 4 上同调对扩张理论的应用 设是群的正规阿贝尔子群而且是商群.如果傍系是的元素,则对于只取决于和而不依赖于在傍系中的选取.因此可以记而不会有误会，在这种记号下，是作用于的右侧的算子群，而且我们认为在左侧是恒同地作用的.设是具有固定算子群的加法群，而且对于因子组使用记号，那么变成 . (4.1) 移项后我们得出 ， (4.2) 因而因子组是二维上圈.根据（11