关于CAS-子群与p-幂零性的一个注记.pdfVIP

第 28卷第 5期 佛 山科学技术学院学报 (自然科学版) V01．28NO．5 2010年 9月 JournalofFoshanUniversity (NaturalScienceEdition) Sep．2010 文章编号 ：1008—0171(2010)05—0030—04 关于 CAS一子群与 一幂零性的一个注记 李长稳，胡 滨 (徐 州师范大学 数 学科 学学院．江苏 徐 州 22u16) 摘要 ：设 是群G的一个子 群。如果存在 G的一个子群 7^．使得 G—H?’且 n丁是 G的一个 CAP一子 群．则 称 H 是 G的一个 CAS一子群 利用 CAS一子群研 究有 限群 的p一幂零性 ，推广 了前人 的一些结果 。 关键词：CAS一子群 ；户一幂零 ；Sylow 一子群 中图分类号 ：0152 文献标 志码 ：A 本文 中所有的群都是有限群 。覆盖一远离性最初是Gasch~tzEC在 1962年研究有限可解群的子群 的 某个共轭类 时发现的．之后许多作者专注于寻找有 限可解群 中具有这个性质 的一类子群。例如 ， Gillamc2和 Tomkinson一利用构造性的方法给出了可解群的此类子群 。2003年．郭秀云和KPShum 利 用极大子群、Hall子群和 2一极大子群的远离一覆盖性质 ，得到了有 限群成为可解、一可解和 p一幂零的若 干新的刻画E4J。近年来 ．远离一覆盖性的推广成为群论中比较热门的课题，如 2O06年，樊恽、郭秀云等人 引入的半覆盖一远离性 ；2007年，韦华全、王燕呜给出的CAS子群 。本文在文献-63的基础上继续这 方面的工作 ，主要通过假设 G的某个正规子群 的 Sylow一子群 的所有 一极大子群为 G的 CAS一子群 ，而 得到 G为 一幂零群的充分条件 ，证明方法改进 了前人的一些技巧 ．得到的定理推广了前人的一些结论 。 1 预备知识 定义 1 设 A是群 G的子群 ，H ／K 为 G 的主 因子 。 (1)若 A—KA，称 覆盖H ／K； (2)若 HnA—KnA，称A远离 ，／K ； (3)若 A或覆盖或远离 G的每个主因子 ，则称 A在 6中具有覆盖一远离性质。简言之， 为 G的 CAP子群 。 定义 2[： 设 H 是群 G的一个子群 。如果存在 G的一个子群 71，使得 G—H71且Hn丁是G的一 个 CAP一子群 ，则称 ，彳是 G 的一个 CAS一子群 。 注 CAS子群是CAP子群、c一补子群和 c一正规子群的推广 。 定义 3 设 S~-是一个群系。如果 G有一个子群 71∈ ，使得 G一Ⅳ了．则称 H 在G 中有 一补 充 丁。 引理 1 设 H 是群 G的一个 CAP一子群 。若 N1G，则 f1)H 是 G 的CAP一子群 ； (2)HN ／N 是 G 的CAP一子群 。 引理 2 一 设 H 是群 G的一个 CAS一子群 ，则 收稿 日期 ：20lO一06一l8 基金项 目：国家 自然科学基金资助项 目(lO771]80) 作者简介 ：李长稳 (1978一)．男 ．江苏海 安人 ．徐州师范大学讲师。 第 5期 李长稳等：关于CAS一子群与 一幂零性的一个注记 3l (1)若 N1G且 N≤H≤G，则 H ／N 是G／N 的一个 CAS一子群； (2)若 Ⅳ 为G的 7r子群，Ⅳ为 G的正规 丌一子群，则 H．v／Ⅳ是 G／Ⅳ 的一个 CAS一子群 。 引理 3 设 是群系，H 在G中有 补充。 (1)如果 N1G，则 I-IN~N 在 G／N 中有 补充 ； (2)如果 H≤K≤G且 是子群 闭的 ，则 H 在 中有 补充 。 引理 4 设 G是一个有限群，P是一个素数 ，满足对 于不小于 1的整数 ，有 ({Gl，(一1)(。一1)… ( 一1))一1。假设 是 G的一个正规子群，使得 G／ 是 P一幂零 的并且 户 不整除 lⅣl，则 G是 一幂 零 的。 证明 由引理假设和文献[7]中引理 2．11知 N