极大子群的次正规完备与有限群的可解性.pdfVIP

2011年 9月 四川师范大学学报 (自然科学版) Sept．，2011 第34卷 第5期 JournalofSichuanNormalUniversity(NaturalScience) Vo1．34．No．5 极大子群的次正规完备与有限群的可解性 杨立英 ， 宋 玉 (1．广西师范学院数学科学学院，广西 南宁530001；2．广西职212体育运动技术学校，广西 南宁530031) 摘要：利用有限群的特殊极大子群的正规完备和次正规完备对有限群可解性进行研究，给出了有限群 可解的几个充分必要条件，这些结论是对已有的有限群刻画的补充和推广． 关键词：极大子群；正规完备；次正规完备 ；正规子群；可解群 中图分类号：0152．1 文献标志码 ：A 文章编号：1001—8395(2011)05—0655一o4 do|：10．3969／．i．issn．1001-8395．2011．OS．012 对极大子群附加一定的条件来研究有限群是 ，而 c的每个 一不变真子群都在 中．若用 令群论工作者非常感兴趣的课题之一．文献 [1一 K(G)表示 C的所有 G一不变真子群之积，则 (C) l8]给出了一系列新的概念并得到了许多实质性的 C且K(c)qG，M在 G中的所有完备作成一个 结论．本文利用有限群的特殊极大子群的正规完备 集合，记为_，()，叫做 在G中的指数复合．I(肘) 和次正规完备对有限群可解性进行研究，给出了有 按集合包含关系作成一个偏序集，其极大元称为 限群可解的几个充分必要条件．它们是文献 [8，19 的极大完备． — 23]中有关定理的推广． 定义 1．2 若 C∈I()且 C G，则称 C为 的正规完备． 1 概念与引理 性质 1 正规完备必为极大完备． 事实上，假设存在 C，，使得 CC且，则 C 本文所指的群 皆为有限群．其 中，仃(G)是指 lGl的全部素因子集，Sylp(G)是指G的SylowP一 又CC且 CIG，由C 是 的完备的定义知， C≤肘，这与C∈，(M)矛盾． 子群的集合，J7v(P)是指 P在G中的正规化子．本 性质2 对于群G的任一极大子群M，，()必 文中出现的群 G，一般都是指有限群；其他符号无 有正规完备． 特殊说明都是标准符号． 事实上，设A={fUIG且 G=UM}，则A= 以下是常用符号及其含义：设 G是群，记 ． 现设C是A的极小元，则C 对于每个 C (G)= { IM ·G}， C且 ClqG，有 ≤ C】G．又因M ·C，故M= (G)：{ IM ∈F(G)且 非P一幂零 }， MC，即C， 这样 C∈I(M)，C为 的正规完备 (G)= { lM ∈F(G)且 IG：Ml是合数}， 定义 1．3 设 为G的子群，若对任意的 ≤