某些子群的覆盖远离性质对有限群结构的影响.pdfVIP

第30卷第 10期 2008年 10月 Vo1．30 NO．10 OCt． 2008 文章编号 ：1673—9868(2008)10—0001—06 m 某些子群的覆盖一远离性质对有限群结构的影响 西 王丽丽 ， 陈贵云 ， 王爱法。 南_堇 1．西南大学 数学与统计学院，重庆 400715；2．西南大学 育才学院，重庆 401524 大 学 U 摘要 ：利用覆盖一远离子群 的概念研究了群 的超可解性和幂零性．首先利用有限群 G的Fitting子群和 Sylow子群 学_ 的覆盖一远离性质给出了关于G超可解的几个充分条件 ；然后再对 G的Sylow子群 的正规化子等 的覆盖一远离性质 报 进行讨论 ，得到 了关于 G幂零的几个充要条件和充分条件． 自 ( 关 键 词 ：覆盖一远离子群 ；极大子群 ；超可解群 ；幂零群 然 N 中图分类号 ：O152．1 文献标识码 ：A 1962年，文献[1]介绍 了有限可解群的子群的某一类特殊的共轭类 ，并把这种子群称为 pre—Frattini子 群．这些子群具有覆盖一远离性质 (如果G的子群A覆盖或远离G的每一个主因子 ，则称A在G 中具有覆盖 ∞ 一 E 远离性质 ，即A是G的覆盖一远离子群)．显然 ，有限可解群G的极大子群和正规子群覆盖或远离其每个主 因子 ，所 以该定义也是正规性质的一个推广．此后 ，很多学者利用群的这种性质来刻画有限群的结构 ]． 1993年，文献E43在假设 “有限群G的某些Sylow子群的极大子群具有覆盖一远离性质”的前提下给出了关于 有限群G的P一超可解性和超可解性的描述．后来，文献E53利用子群的覆盖一远离性质对有限可解群和有限 P一可解群 的特征进行了刻画．以上事实说明子群 的覆盖一远离性质能很好的刻画群G的结构．在此，我们利 用某些特殊子群的覆盖一远离性质也对群 G的结构进行了进一步的刻画，得到了关于G的超可解性和幂零 性的一些结果．如：我们讨论了群G的超可解性与其Fitting子群的关系 ；利用子群的覆盖一远离性质讨论 了 偶阶 QCLT～群 G的超可解性． 文 中所涉及的群都是有限群 ，“M ．G”表示M是G的极大子群．未加说明的其他符号与文献E7]一致． 定义 1 设A是有 限群G 的一个子群 ，H ／K是群G 的一个主因子 ，则 (1)如果 H ≤ KA，亦即，HA —KA，则称A覆盖H ／K； (2)如果 H nA≤ K，亦 即，H nA：==KnA，则称A远离 H ／K； (3)如果A覆盖或远离G的每一个主因子 ，则称A在G中具有覆盖一远离性质，即A是G的覆盖一远离 子群． 定义2 对于群G的阶 IGl的任一因数 ，G都有一个阶为”的子群，则称 G为CLT一群 ；群 G的 所有商群都是 CLT一群，则称 G为 QCLT一群． 引理 1 设 H是群G的子群 ，～是G的正规子群，如果 H在G 中具有覆盖一远离性质 ，则 (1)HN 在G 中具有覆盖一远离性质； (2)HN ／N在G／N 中具有覆盖一远离性质． 证 (1)由文献E83的引理 1．4即知 ； 收稿 日期 ：2007—12—28 基金项 目：国家 自然科学基金资助项 目． 作者简介 ：王丽丽(1981一)，女 ，山东泰安人 ，博士研究生，主要从事有限群论 的研究 通讯作者 ：陈贵云 ，教授． 2 西南大学学报 (自然科学版) 投稿网址 http：／／xbgjxt．SWU．edu．cn 第 30卷 (2)设 M ／N／K／N是G／N 的任一主因子 ，则显然 M／K 是群G 的一个主因子 ，从而 由题设知 HA1一 HK 或H nM —H nK．若 HM — HK，则 HM ／N—HK／N，即HN／N ·M ／N—HN／N ·K／N；若 H nM =H nK，则(H nM)N／N = (HnK)N／N，即(HN