扩张p^6阶群的Φ37（1^6）家族为LA-群.pdfVIP

第 35卷 第 8期 绍 兴 文 理 学 院 学 报 Vo1．35No．8 2015年 6月 JOURNALOFSHAOXINGUNIVERSITY Jun．20l5 doi：10．16169／j．issn．1008—293x．k．2015．08．02 扩张P6阶群的 37(16)家族为 LA-群 班桂宁 陈科成 聂婷婷 (广西大学 数学与信息科学学院，广西 南宁530004) 摘 要：首先运用群的扩张理论对P 阶群的 ，(1)家族进行扩张，得到一类新的P一群，然后给出了它们的一些性质，最 后验证了扩张得到的群是LA一群． 关键词：有限P一群 ；LA一猜想；LA一群 ；群的扩张；自由群 中图分类号：0152 文献标志码：A 文章编号：1008-293X(2015)08-0011-07 0 引言 时至今 日，有限p一群与群的自同构…已经成为群论的基本概念．在有限非交换p一群 中有一类特殊的 有限p一群称之为LA一群，其具体定义是：p一群G的阶能整除其 自同构Aut(G)的阶，即GIAut(G)， lGlP．俞曙霞与班桂宁教授在LA一群的研究上得到了大量有价值的结论，具体可参看参考文献[2卜 [5]．本文将根据 RodneyJames关于p 一p阶的分类_6]，针对p 阶群的 ，家族进行群的有效扩张．基于 所得的扩张形式．运用 自由群理论证明扩张形式构成群。对新得到的p一群进行研究，得到新群的中心及中 心群列等一些基本性质．最后利用中心内自同构的方法证明新群是LA一群． 1 基本公式与引理 公式 1[7]设 G是群，口，b，c∈G．则有 (1)[0，b]一=[b，0]；(2)[ab，c]=[口，c][b，c]；(3)[a，bc]=[，c][n，b]。． 公式2[] 设 G是群，Ⅱ，b∈G且 [0，b]∈Z(G)，又设凡是正整数．则有 ，叭 [0，b]=[n，b] ；[口，b]=[0，b] ；(ab)=anb[b，0]l2J 公式3[ 设 G是亚交换群，0，b∈G，m 2，i，是正整数，则 ，m、 (06一)=0H [ia,jb]IJb～．其中求积符号中的i，为正整数，且满足i+-m 引理 1 设G是有限P一群，若 c(G)P，则G正则． 引理2 设G是有限群，则G的全体中心内自同构组成Aut(G)的子群，并且它和z(G／Z(G))是同 构的． 引理 3。设 G是PN一群，G／G和z(G)的不变型分别为m1 m2 … m 1和 k1 k2 … 1，则IA(G)I=P。，其中口=∑min{，k}． 收稿 日期：2015—05—26 基金项 目：广西自然科学基金项 目“群、图及其在网络上的应用”． 作者简介：班桂宁(1962一)，男，广西南宁人 ，博士，教授 ，主要研究方向为群论、控制理论和控制工程 绍兴文理学院学报(自然科学) 第35卷 2 定理及其证明 定理 1 设：G=(，l，2，3，ol4，5l[1，] 2，[2，] 3，[3，]= 4，[2，3] = [0c3，1]=[4，1]=o／5， 1 2比= 3 ol4 =ot5 =1)，可证当G满足条件 t1≥t2 t3 t4 t5，t≥t2，t t3，t t4时G构成一个P一群，同时在这种扩充的情况下也必须满足t1 t2 t3 t4 t5，t t2，t t，t t4．所以用群的表示方法可以直观记作： G= ，l，2，oL3，0c4，0[5I[仅1，ot]=仅2，[otl，o[]=0[3，[0c3，] 4，[2，ot3]=[3，0cI]：[oL4，1]= 5， ‘ ‘ Gtp 1 2 = 3 4 = 5p口=1，t1 t2 t3 t4三三=t5，t t2，t t3，t t4)有IGI= t+tI