关于F-S-可补子群.pdfVIP

维普资讯 第27卷第蝴 数 学 研 究 与 评 论 Vo1．27，No．1 2007~2月 JOURNALOFMATHEMATICALRESEARCHANDEXPOSITION Feb．，2007 文章编号：1000—341X(2007)01—0207—05 文献标识码zA 关于 s一可补子群 李长稳 Iv郭文彬 ，z (1．徐州师范大学数学系，江苏 徐州221116；2．中国科学技术大学数学系，安徽 合肥230026) (E-maihlcwxz~xznu．edu．an) 摘 要：设 是—个群类．群 G的子群 日称为在 G 中 S一可补的，如果存在 G的一个子群 ， 使得G=HK且K／KnHa∈ ，其中Ha=n H 是包含在 中的G的最大正规子 群．本文利用子群的 S．可补性，给出了有限群的可解性，超可解性和幂零性的一些新的刻画．应 用这些结果，我们可以得到一系列推论。其中包括有关已知的著名结果． 关键词： S．可补子群；可解群i幂零群；超可解群． MSC(2000)：20D10 中图分类：O152．1 1引 言 群G的一个子群 日称为在G中可补充的，如果存在 G的子群 ，使得 G；日 ．特别 地，如果 口n =1，则称 日在G中可补．众所周知，子群的可补充性质对群的结构研究扮演 着十分重要的角色．P．Hall[J证明了：一个有限群 G是可解的当且仅当G的任意 Sylow子群 在G中可补．Kegel[6,7】证明了：如果群 G的任意极大子群在G中有循环补充或G的某一个 幂零子群在G中有幂零补充，则G可解．作为以上的发展，近年来，国内外许多学者通过对子 群的可补充性的一系列限制，提出了一些新的与子群补充相关的概念，并用它们研究了群的结构 和性质，比如苏向盈 8【J王品超 [o,lol利用半正规子群的概念研究了有限群；王燕鸣I3’lJ引进和 利用c正规子群的概念确定了有限群的一些性质和结构．最近，郭文彬、缪龙从另一角度定义 了J=-S一可补的概念，并利用极大子群的J=-S．可补性给出了群的一些新的性质和结构． 作为以上研究的继续，本文主要利用准素子群的 _-s一可补性进一步研究群的性质与结构． 特别地，我们得到了有限群为幂零群，超可解群和可解群的一些新的判别准则． 本文中所有群为有限群，未交待的定义和符号是标准的．如果需要，可以参见文献[1】和 [12】_ 2 预备知识 定义2．1 设 是一个群类．群G的子群 日称为在G中：F-S．可补的，如果存在G的一 个子群 ，使得 G=HK且K／KnHa∈ ，其中Ha=Core(H)=n。G日g是包含在 日中 G的最大正规子群．此时 也称为 日在G中的一个J=-S一补． 引理 2．1 设 是一个商群闭且子群闭的群类， 日是G的一个子群，则下列断言成立． (1)若 是 日在G中J=-S．补，且N司G，则KⅣN／是 日Ⅳ／Ⅳ在G／N中的T．-S一补． (2)设 Ⅳ为G的正规子群且N H．若K／N是 日／Ⅳ在G／N中的 一s一补，则 为 日在 G中的 ．S一补． 收稿日期：2005—03—17；接受日期：2005—08．15 基金项目：国家自然科学基金 ) 维普资讯 208 数 学 研 究 与 评 论 27卷 (3)若H D G且K是 日在G中的 S。补，那么KnD是 日在 口中的 一S一补． 引理 2．2[12]设G为有限群，P是 IGI的最小素因子．若H G且IG：HIP，则H司G． 引理2．3[]如果 为子群闭的饱和群系并且 日为G的子群，那么 日nZj：(G) (日)． 引理 2．4[12]极小非p-幂零群为极小非幂零群． 引理 2．511]设G为极小非超可解群．则 (1)G有唯一非单位正规 Sylowp-子群P，对某一个素数p；