毕业群的扩张与群的上同调的研究.docxVIP

群的扩张与群的上同调的研究 作者：秦涛 指导老师：孙广人 摘要：确定哪些G是给定群H通过群N扩张是群扩张问题，从19世纪来就被广泛研究.上同调 是使用一系列函子/T研究这个问题的重要方法。本文综述群的中心扩张与循环扩张的概念以及 上同调群的定义，最后列出上同调在群扩张问题上的基本应用。 关键词：上同调群群扩张群上同调 1引言 在数学和抽象代数屮，群论研究名为群的代数结构。群的概念在数学的许多分支都有出 现，而且群论的研究方法也对抽象代数的其它分支有重要影响。吋至今日，群的概念已经普 遍地被认为是数学及其许多应用中最基本的概念之一，它不但渗透到诸如几何学、代数拓扑 学、函数论、泛函分析及其他许多数学分支中而起着重要的作用，还形成了一些新学科，如 拓扑群、李群、代数群、算术群等。 群的扩张是群论屮的一个重要问题，其自诞生之后就进行着不断的发展和演变，近代研 究者们讨论了由群扩张构成的群系，给出它为饱和群系的几种情况及局部定义组。在本文 中，将主要就群扩张的基本类型进行综述，介绍相关的概念和性质。 群的上同调是一套研究群及其表示的代数工具，其源于代数拓扑，并在代数数论上也有 重要的作用，它是现代类域论的基本构件Z-O本文在群扩张的基础上，给出上同调群的相 关定义，最后通过一些定理和实例详述上同调在群扩张问题上的基本应用。 2群的扩张 2.1正规子群和商群的合成 一般的说，包含已知群U的任何群G都叫做U的扩张.本文将只讨论［/是G的正规子 群的情形. 施赖尔最先考虑构造所有这样的群G的问题，G具有已知的正规子群N和已知的商群 H = G/N.至少总存在一个这样的群，因为N和H的直积就具有这个性质. 我们先假定给了这样的群G ,设商群H三G/N.的元素记做1上°,…,w. H的每个元素 x对应于N在G内的一个傍系.设对应于x的傍系刃V在G内的代表是x ,而且约定用G 的单位元素1作为N的代表.于是 G = N + uN + vN H F wN， (2. 1. 1) 而且同态GtH使得 u —》U G Gy U G H? (2. 1.2) 于是对于所有awN，映射 n —1 — k ati u au = a (2. 1.3) 是N的自同构，因为N是正规子群.又因为在从G到H上的同态下，历所以 这里由(2.1.4)给定的所有元素仏巧的集合我们叫做因子组，于是在G的构 造中出现下列四个己知条件： 正规子群N. 商群H. N 的自同构：a口 a\ae N,ue H. 由(u,v)eN组成的因子组，这里u.ve H? 必须强调的是，一般地说，由(2.1.3)和(2.1.4)定出的自同构和因子组依赖于与u对应 的傍系刃V的代表汗的选取. 定理2.1.1给了具有正规子群N和商群H = G/N的群G.如杲选取傍系代表汗，这 里TIN Tuw H,而且取T = 1,则就决定满足下列条件的自同构和因子组： (a) =(w, v)_，(a)(仏u), v)g N;u,vw H; (WV, W)(W,V)H =(M,VW)(V, w)； (1,1) = 1. 反之，如果对于每个ueH ,给定N的自同构a 口 a,而且对于这些自同构和因子 组[(w,v)g /V](w,vg W),上述条件成立，则元素ua(ue H,ae N)连同乘法规则 ua-vb = uv(u,v)ayb 决定具有正规子群TV和商群H = G/N的群G ? 如果略去(1,1) = 1的要求，则取T(1,1)“作为G的单位元素时定理仍然成立. 由N,H,aD a和因子组仏巧决定的唯一扩张G将记做町,/7卫“,仏巧]? 如果更换TV在G的傍系代表，取 u = m6Z(w),wg N, (2.1. 5) 而且规定T = T = i,即q(i) = i,则自同构就更换成 aU ali =u~]au = x a11 a(2.1.6) 而因子组仏巧更换成因子组(w,v)J，使得 U-V = W6Z(W)V6T(V)= WV v)^z(w) (巧 =WV (w, V)1 = WV6T(W,V)(W, V)1 . (2. 1. 7) 定义2.1?仁两个扩张E} = 和E2=町N,H,/,仏讦]是等价 的，加入在自同构和因子组之间有关系 al({ =q(汀qq(u), (w, V)1 = 6f(wv) 1 (w, v)cif(w) 6lf( V), 这里G(M)是元素u的在N内取值的函数，而且(1) = 1. 我们记做 E[N,/7,^,(w,v)]n斗皿乩/，仏川? 坨与耳的等价性取决于更换同一个群G内子群N的傍系代表，因而它显然是对称的、自 反的和传递的真等价关系. 如果N在G内的傍系代表U能取成使 uv -uv. (2. 1. 8) 即(W,y)=l,则傍系代表组成同构于H的群，可以把它与H等同起来.