关于s-正规子群与正规指数.pdfVIP

山西师范大学学报 (自然科学版) 第 24卷第 3期 JournalofShanxiNormalUniversity VoI．24 No．3 2010年 9月 NaturalScienceEdition Sept．2010 文章编号：1009-4490(2010)03-0005-04 关于 S一正规子群与正规指数 高 辉，高胜哲 (大连水产学院理学院，辽宁 大连 116023) 摘 要 ：利用 一正规子群与正规指数的概念给出群为可解群的一些条件．主要定理有 ：(1)设 是群 G 的可解的极大子群，M在G中s一正规的充要条件是 田(G：M)=IG：Ml；(2)有限群G可解当且仅当对 于M ∈F。(G)= {M ·Gf叩(G：M)≠IG：Ml}， 在 G中s一正规．(3)设Ⅳ是G的正规子群 ，Ⅳ可解 的充要条件是对于任意不包含 Ⅳ的c一极大子群 ，有卵(G：M)=lG：M1． 关键词：极大子群；s一正规子群；正规指数；可解群 中图分类号：0152．1 文献标识码：A 1 引言及预备知识 利用极大子群的性质来刻画群的可解性是令人感兴趣的课题，正规指数是关于极大子群的一个重要 概念．在文献 [1]中，Deskins给出了极大子群的正规指数的概念 ： 定义 1… 给定一个群 G及其极大子群 ，令N／K是 G的一个主因子，满足G=MN并且 Ⅳ有尽可 能小的阶．则N／K的阶叫做 在 G中的正规指数，记作 (G：M)． 关于正规指数的一个广为人知的结果是：有限群 G可解当且仅 当对于它的每个极大子群 ，有 田(G：M)=lG：M1．此后，许多学者，如Beidleman和Spencer[2J、郭秀云 等都在这方面做了大量的工 作．另一方面，极大子群的正规指数与子群的c一正规性也存在着一定的关系．在文献 [4]中王燕鸣证明了 群G的一个极大子群 在G中c一正规的充要条件是r／(G：M)：IG：MI．在文献 [5]中引入子群的s．正 规性的概念并且已知子群的 -正规性要比c一正规性弱．在本文中，从新的角度利用子群的s。正规性、正规 指数获得了关于群可解的一些充要条件．另外，通过研究得出当群G的一个极大子群 可解时，M在G中 S一正规的充要条件是 卵(G：M)=fG：M I． 文中所用符号皆为标准的，涉及的群指有限群． 定义2 设G是有限群，称群G的一个子群 在G中s一正规，若存在G的一个次正规子群Ⅳ，使得 G= Ⅳ，且 日n ／、，≤ 。，其中称 。是包含在 中G的最大的次正规子群． 定义3 设 是 G的极大子群，定义下列集合： (1)F．(G)= { l叼(G：M)≠IG：Ml}． 若 F。(G)≠ ，定义 (G)=n { lM ∈F (G)}．否则令 ，(G)：G． (2)F(G) = {MlfG：MI=合数 }其中称 是G的c一极大子群． 若 F (G)≠ ，定义 ￡(G)=n {MfM ∈F (G)}．否则令 (G)=G，其中 (G)超可解 』． 引理 1 设 G为有限群，则 (1)若 在G中正规 (c．正规)，则 Ⅳ在G中s一正规，反之未必． 收稿 日期：2010-03—15 基金项 目：大连水产学院科研项 目SY2007042． 作者简介：高辉(1978～)，女 ，辽宁庄河人 ，大连水产学院理学院讲师 ，硕士，主要从事有限群方面的研究 · 6· 山西师范大学学报 (自然科学版) (2)若 G为s一单群当且仅当G为单群． (3)若何在G中s一正规，H≤K≤G，则 在K中5一正规． (4)设 G，且 71≤日，则H在G中s．正规当且仅当H／T在 G／T中s．正规． 引理2_6 如果 是G的次正规子群，那么 Soc(G)≤Nc(I4)． 引理3 ．(G)可解． 证明 假设命题不成立，令G是一个极小阶反例．若 F(G)= ，对于G的每个极大子群 ，均有 7／(G： )=IG：Ml，则 (G)=G可解，矛盾．故F (G)≠(2j，且设