有限群可解的若干充分条件.pdfVIP

第 35 卷第 4 期 2∞9 年 10 月 曲阜师范大学学报 Vol. 35 No.4 Oct. 2仰9Joumal of Qufu Normal Univer宙ity 有限群可解的若二f充分条件* 薛瑞①，冯志敏② (①信阳师范学院计算机与信息技术学院;(2)信阳师范学院数学与信息科学学院，464侃)()，问南省信阳市) 摘要:群 G 的…个子群 H称为在 G 中树←if规，带存在 G 的一个次正规子群 K使得 G=HK 且 HnK还 矶，其中 Hc = nEcH8 是包含在 H 中 C 的最大的正规子群.弱 c-if规子群是近年来群论研究的热点.利用子 群的弱俨正规性对有限群的影响，得到了关于有限群可解的密千充分条件. 关键诩:有限群;稍 c-if规;次正规子群;可解群 中图分提号 :0152.1 J比献标识码 :A 文章编哥 :1∞lδ337(2仰)04α)()7-O3 o sl 在群论中，通过子群来研究群的构造，这是群论 研究中最常用的方法.正规子群是群论中一个草耍 的概念， 1996 年王燕鸣[1] 引进了 c-iE规子群的概 念，群 G 的一个子群 H 称为在 G 中 c-iE规，若存在 G 的一个正规子群 K使得 G=HK 且 HnK:::;; 矶，其 中 Hc= nμ cHG 是包含在 H 中 G 的最大的正规子 群.许多的群论学者利用←正规性得出了很多有价 值的成果l叫 .2002 年，朱路进等问l 又据的了一叫个 ~t c-iE规陀弱的概念，弱俨正规子群，群 G 的…个子群 H 称为在 G 中弱←正规，若存在 G 的一个次正规子 群 K使得 G HK 且 HnK运 Hc. 在本文中，我们利 用于群的弱俨正规性来研究群的结构，得到了有限 群可解的一些更具体的充分条件.本文所提及的群 皆为有限群，不另说明的符号是规植的，未提及的符 号见文献[6] . 1 预备知识 定义 1 [5] 设 G 是有限群，称群 G 的…个子群 H在 G 中明 c-正规，若存在 G 的一个次正规子群 K ， 使 C=HK flH 门K运矶，其中 Hc = n l! eCHI! 是包含 在 H 中 G 的最大的iE规子群. 性质 1 [$] 设 H 为 G 的弱 c-正规子群. 1 )若 H 唱M理~G ，则 H 在 M 中弱 c-iE规 ;2 )者 N 至lGiiN ，收稿日期 :2∞8翩11 唰26 量:;; H ， 则 H 在 G 中骑 c-iE规当且仅当 H/N 在 G/N 中捐 c-正规. 引理 1[6] 设 IGI =2n ， 其中 n 为奇数，那么 G 可解. 引理 2 设 H 为群 G 的 Hall 子群且 HJJ C ， 那么 H 1 C. 证明 H=C 时当然成立.下设 HC ，依题设 条件存在 G 的合成列，使 H = Hm 喝 H附偏l 喝茶…~ Ho = G, Ic(H) = m. 对 m 进行归纳 . m = 1 时 ， H 乱 ι 设 Ic(H) m时成立，来证明 Ic{H) =m 时成立. 上，若 H不正规于 G ，则有合成列 H Hm:::;;Hm ωl 延 …理这 Ho = G ， 其中 H 矶 ， IHl (H) 口 m … 1 且 H 矶的 Hall 子群.由归纳假设 H 丑矶，这时 Hg HI 1 ι 由于 H不正规于 G ，那么存在 ge G ，使 W 护 H. 又 W~ Hf =HI iiWSL矶，所以 H. WSL 矶 ， HHK 成群. IHWI = IHIIH叫 /IHnH8 1 = IHI 2/IH门HI! I:口 IHI ? IHI/IHn H门. 若 IHI/IHnHI! I ~1 ，所以 ( IHH叫 /IHI ， IHI) = IHI/IHnW 1 笋1. 又 IHI/IHnHI! I 1 IG/HI 且(IGI/IHI ， IHI) =1 ，所 以 (IHI/IHnWI ， IHI) =1 ，矛盾.因此 IHI/IH 门 HI! I =1 ，即 H=HnHK = 驴，所以 H=H/( ， 与假设矛 盾.散 H 1 G. 慕金项目:同家自然科学1基金资助项目 ， ;山东省自然科学慕金资助项目 (Y2ω4A06). 作者简介:~年端，友， 1979- ，狈土.，研究方 róJ: 有限群. E-maj): xuerui1012@ 163. com. 8 曲阜师范大学学报(自然科学版) 2(附9 年 引理 3[7] 设 N 是群 G 的正规子群 ，M 是群 G 的极大子群llN~ M ，那么 η (G: M) = η (GIMG : MI Mc). 引理 4 设 M 是群 G 的可解的极大子群，那么 M 在 G 中辅←