C-正规性与有限群的超可解性.pdfVIP

维普资讯 第33卷第4期 西南民族大学学报 ·自然科学版 Au2 ． 2007 JoumalofSouthwestUniversityforNationalitiesN·aturalScienceEdition 。 文章编号：10032·843(2007)04-07070·3 C．正规性与有限群的超可解性 刘仕田 ，邵博文 (1．四川理工学院数学系，四川自贡 643000；2．山东省汶上县康驿二中，山东汶上 272507) 摘 要：我们运用C．正规性质来刻画群的可解性和超可解性，并得到 了一些很好的结论：设 为群G的一个极大子群， 若M的任一 fow子群在G中C一正规，则G超可解；M G，且为G之极大子群，M 的每一个素数阶子群在G中C～正 规及M的任何Sliow子群的Frattini子群为l，则G超可解 这些结论加强了王燕铭在文 l【冲 的相关结论． 关键词：c一正规；超可解；可解 中图分类号：O177 文献标识码：A 1996年 ，王燕铭在[1】引入了c一正规的概念，并讨论了其性质．1999年，韦华全等在[5】研究c一正规对群结构 的影响．本文在此基础上探讨其与有限群的超可解的结构关系，加强了川的相关结论． 本文所讨论的群均指有限群，所用的符号都是规范的，可参阅文献[4】．特别的，用A司G表示，是G的真正规 子群，而A G表示 是G的正规子群，对于A G及AG有同样的规定． 1 定义及主要引理 定义 1【 设G是有限群，H G，称 为G的C一正规子群，若存在G的正规子群 ，使得G=HK，且 nK ．其中 =nHg为包含在 中的G的最大正规子群． 一 geG 性质 1j【j 设G是群，则 1)若H在G中正规，则H在G 中C一正规． 2)若 在G中C一正规，H K G，则 在 中C一正规． 3)设 G，K H ，则 在G中C一正规的充要条件是 ／ 在G／ 中C一正规． 引理 1i2] 设G是内超可解群，则G有如下结构 1)存在正规子群P∈ ，(G)，使G=尸 ，尸／①(尸)为G／~(P)的极小正规子群． 2)若P2，贝0expP=P；若P=2，贝0expP 4Rp llG1． 3)存在C∈P＼①(尸)，使C G． 4)若尸为Abel群，则①(尸)=1． 5)若尸为非Abel群，①(尸)=z(P)=P． 引理2【 设G是内超可解群，尸为G：：rAE规Sylowp-子群，若有Ⅳ G，G／Ⅳ超可解，则P∈Sylp(N)． 引理3I【l 群G可解当且仅当G的每个极大子群在G中C一正规． 引理4I【】 若群G的每个Sylow子群的极大子群是C一正规的，则G是超可解的． 2 主要定理 在文 l【】中有下面的结论 收稿 日期：2007．03．20 作者简介：刘仕1：1t(1973．)，男，四川理工学院数学系教师 维普资讯 708 西南民族大学学报 ·自然科学版 第33卷 定理1 G的所有 2一极大子群在G中C一正规，则G可解． 证 明 设G是一极小阶反例． 由引理 3知，G内可解．对于G的任一不为 1的 2一极大子群 ， 为G的C一正规子群，j G，使 得 ：G=