非2-闭极大子群指数为素数幂的有限群.pdfVIP

数 学 年 刊 2013，34A(3)：285—290 非 2一闭极大子群指数为素数幂 的有限群木 李 士恒 施 武杰 提要 设G为有限群，如果 G的每个非 2一闭极大子群的指数均为素数幂，那么 c／s(c) PSL2(7) 或 1，其中s(a)为 G的最大可解正规子群． 关键词 有限群，2一闭，极大子群 MR (2000)主题分类 20D10 中囝法分类 O152．1 文献标志码 A 文章编号 i000—8314(2013)03。0285—06 1 引 言 我们知道如果群 G可解，那么G的每个极大子群的指数都是素数幂．但是其逆命题 不成立．Guralnick[】应用单群分类定理证明了如下定理． 定理 1．1[】推{仑。如果有限群 G的每个极大子群的指数均为素数幂，则 c／s(c) PSL2(7)或 l，其中s(c)为G的最大可解正规子群． 进一步，郭秀云 【]对极大子群进行了限制，得到了如下结论． 定理 1．2[。]定理 如果有限群 G 的每个非幂零的极大子群的指数均为素数幂，则 a／s(a) PSL2(7)或 1，其中s(a)为G的最大可解正规子群． 本文中我们对极大子群做进一步的限制，得到了如下结论． 定理 1．3 如果有限群 G的每个非 2一闭极大子群的指数均为素数幂，则 c／s(a) PSL2(7)或 1，其中s(c)为G的最大可解正规子群． 显然，非2闭极大子群一定是非幂零极大子群，于是定理 1．3可看作是定理 1．2的推 广． 2 定 义 定义 2．1Is]167页 设 日为G的子群．如果存在G的子群 ，使得 HK=G，那么称 是 日在G中的广义补． 本文 2012年 4月 13日收到， 2012年 10月 11日收到修改稿． 郑州航空工业管理学院数理系，郑州450015．E—mail：1ishmeng01@163．com 0重庆文理学院数学与统计学院，重庆 402160．E—mail：wujieshi43@yahoo．com．an 本文受到国家自然科学基金 (No的资助． 286 数 学 年 刊 34卷A辑 定义 2．23【】172页 圈积：对于群 ，把由所有函数 ∑— ∑={1，… ，n) 所做成的集合 看作一个群，其乘法按照点来定义为：对所有的i∈E及 a1，a2∈L“， 有 i。。。： iali ． 其中t。表示ak的第 i个位置上的元素，k=1，2．圈积 2 表示 关于 的半直 积：如果 sESn，口EL ，那么对所有的iEE有 i。。=(is-1)。．此外，对 U≤L记 的 子群 为 ={0∈U”lJ。=1，当J≠ 特别地，L =L1X…XL．令W=L2 ， 记 为 Nw(Li)=Li×(L1X… ×Li一1×Li+lx… ×L) 一1 到Li上的投射．对于 W 的子群G，我们记G()为 i在所有这些函数 (Nc(Li)) 作用下 的像的集合，即G(t)=i(Nc(Li)) ={WE厶 I存在 g∈Ⅳ((t)，使得 ig= )．因此， G(t)是 的一个子群．称S 为圈积 W =L2S 的顶群． 3 引 理 引理3．1 设G=W = 2 ，L是几乎单群．设 是 的自正规化子群，且L=KT， 这里 T=soc(L)．设 M =NG(K )=K2 ．如果 M 在G中有素数幂指数，那么 在 中也有素数幂指数． 证 若 在G中有素数幂指数，设为P，则G有一个Sylow 子群P，使得MP=G． 由lal= 得 (1a：MljIV：P1)=1．又 是G的次正规子群，所以L=(LNM)(LM P)=K(LnP)．因此 l：Kl为素数幂． 引理 3．2[。]引理。·设 G是圈积 W =L2 的传递的作用在 {1，… ， )上的子 群．那么存在 g∈L2×… × ，使得 G ≤V=G(1)2Sn，其中V是 W 的子群且具有