特征不为2的可线性化域上一类矩阵群的完全性.pdfVIP

第 36 卷第 2 期 2014 年 3 月 Vol.36 No.2 Journal of Tangshan Teachers College Mar. 2014 特征不为 2 的可线性化域上一类矩阵群的完全性 张 波 （淮北师范大学数学科学学院，安徽 淮北 235000 ） 摘 要：讨论了一类矩阵群的完全性，给出了特征不为2 的可线性化域上的一类矩阵群的完全性的证明。 关键词：矩阵群；特征；线性化环；完全性；自同构 O152.3 A 1009-9115(2014)02-0018-03 中图分类号： 文献标识码： 文章编号： DOI ：10.3969/j.issn.1009-9115.2014.02.005 The Completion of a Matrix Group over a Linearization Domain of Characteristic Not 2 ZHANG Bo (School of Mathematical Sciences, Huaibei Normal University, Huaibei 23500, China) Abstract: The completion of a matrix group over a linearization domain of characteristic not 2 is discussed. And the proof that is a complete group is given. Key Words: matrix groups; characteristic; linearization rings; completion; auto-orphisms 设 G 是一个群，群 G 中与所有元素都可交换的元素构 一个完全群。由于文献[1]中的结论所需要的条件太强，因 成的集合称为群 G 的中心，记作C(G) 。若群G 自身到自 而结论的外延性太小。本文给出了特征不为 2 的可线性化 身的一个双射 满足 （其中 ），则  (xy ) (x )(y ) x , y G 域上的一类完全群。 称 是群 G 的一个自同构，群G 自同构的全体关于映射的  1 预备知识 乘法作成一个乘法群，记作 AutG 。特别地，对任意的 定义 1[2] 设G 是一个群，H 是 G 的子群，若H 在 G a G ， 的任意内自同构作用下稳定，则称H 是G 的正规子群；若  : G G, g a1 ga H 在 G 的自同构作用下稳定，则称H 是G 的特征子群。 a 也是群 的一个自同构，称为群 的内自同构，群 的内 定义 2[3] 设G 是一个群， ，记 1 1 ， G G G a,b G [a,b] aba b 自同构的全体记作