关于有限群子群的弱S-可补性.pdf

数 学 年 刊 2015，36A(1)：91—102 DOI：10．1620~l／J．cnki．cama．2015．0010 关 于有 限群子 群 的弱 s一可 补性冰 苏 宁 李样 明 王燕 鸣s 提要 设 G是一个有限群， 日是 G 的一个子群．称 日为 G 的一个 s一置换子群，若对于 G的任意 Sylow子群P，成立 日P=PH．称 日为G的一个弱 s一可补的子群．若存在 G 的一个子群 ，使得 G =日T且 日nT ≤ G，其中HsG是包含在 H 中的G的最大的s一置换子群．本文在假设G 的 某些子群是弱s一可补的前提下，得到了G 的一个结构定理，并推广了许多近期的结果． 关键词 弱 s一可补子群，P一幂零群， 一超中心，P一可解群的 长 MR (2000)主题分类 20D10，20D15 中图法分类 O152．1 文献标志码 A 文章编号 1000—8314(2015)01—0091—12 1 引 言 及主 要结 果 的陈 述 本文所考虑的群都是有限的，文中使用通常的记号及术语 1【】_G表示一个有限群， JGI表示G的阶数，丌(G)表示所有能整除 IGI的素数的集合，P表示一个素数，G 表 示 G的一个 Sylowp-子群，Syl(G)表示G的所有 SylowP一子群的集合，2p(G)表示 可解群 G的 长． 设 是一类群．称 是一个群系若 (i)当 G∈ 且 H司G，则 G／H ∈ ，fii)对 G 的所有正规子群 M和 Ⅳ，当C／M 且 GIN在 中，则C／(MnN)在 中．称群系 是饱和的，若 c／~(c)∈厂可推出G∈ ．在本文中， 表示超可解群系．显然， 是 饱和的群系 (见文 [1，P．713，命题8．6])，z (G)表示G的 _j疆中心，它是 G的所有 G一主 因子都循环的正规子群的乘积． 假设 日是G 的一个子群． 日称为在 G 中是 s一置换的 (或 s一拟正规，7r一拟正规)2【J． 若对于G 的任意 Sylow子群 P，HP=P日；日称为 G 的一个可补子群，若存在一个 G 的子群 K，使得 G=HK且 日nK=1；H 称为 G的一个 c一正规子群 3【】．若 G存在一 个正规子群 ，使得 G=日 且 nT≤Ha，这里Ha是 日在 G中的正规核．在文 [4】 中，可补子群及 c一正规子群被拓展为 c一可补子群：群 G的一个子群 日称为在 G中是 c． 可补的，若 G有子群 ，使得 G：日 且 日nT≤Hc．最近， Skiba[】引进了以下概 念，此概念拓宽了s．置换子群及 c一可补子群． 定义 1．1[5]设 日是G的一个子群．称 为G的弱8一可补子群 (弱 s一置换子群)若 存在 G的一个 (次正规子群) ，使得 G=日 且 日nT≤ G，这里 G是 G的包含 于 日的最大的s一置换子群． 很多学者考察了当 G的某些子群以某种方式嵌入到 G时G的结构，例如文 f3—121 等．由于弱 s一可补性是许多其它嵌入性质的推广，人们对于研究子群的弱 s一可补性对有 本文 2013年 9月 5日收到，2014年 4月28日收到修改稿． 中山大学数学与计算科学学院，广州 510275．E—mail：suning3~mail．sysu．edu．cn 通讯作者．广东第二师范学院数学系，广州 510310．E-mail：liyangming~gdei．edu．cn 中山大学岭南学院，广州 510275．E—mail：stswym~mail．sysu．edu．cn 本文受到国家 自然科学基金 (NoNoNo，广东省 自然科学基金 (No．$2011010004447)和广东省高校学科建设专项项目(No．2012KJCX0081)的资助． 92 数 学 年 刊 36卷A辑 限群结构的影响有特别的兴趣 [13-15]．本文的主要 目标在于将文 f10]中的一个结构性结 果 (见文 1【0，引理 2．9])从子群的可补性推广到子群的弱 s一可补性．具体而言，得到了以 下主要定理． 定理 1．1 设P是能整除群G阶数的最小素数且P是G的一个SylowP．子群．假设 JF)有一个子群 D，使得 1DP．若