有限群极大群的θ-子群偶对群结构的影响.pdfVIP

内容提要 本文的目的：突破以往用多个极大子群的e一子群偶刻 划有限群的超可解性和幂零性的研究，试图用某一个极大子 群的0一子群偶给出有限群超可解性以及幂零性的新条件。 在此之前，首先讨论有限群的几类特殊极大子群的0一子群 偶对该群可解性、超可解性及幂零性的影响，得出若干充要条 件。 关键词：极大子群 幂零群 撅冀删一子群偶 稚＆弼 ，励膨粕 引 言 从极大子群研究群的结构是一个历史悠久的课题。在单群分类 定理完成之后，这一课题的研究地位更为突出。N．P．Mukherjee和 theta foramaximal P．Bhattacharya在“On pairs subgroup’’(Proc．Amer． 群偶概念，研究了极大子群的极大0一子群偶对群结构的影响，得到 了一系列的结果。极大子群的e一子群偶的研究是正规指数研究的 Boliuches等都在e一子群偶的研究方面有深入的1二作。赵耀庆L4j对 [1]中主要结论做了本质上的改进并给出了有限群可解性及幂零性 的一些新刻划。其定理3．2用条件“G具有一个可解极大子群M，且 的类不超过2”得到了G为可解群。本文试图在此基础上用一个极大 子群的某个0一子群偶得到G为超可解群或G为幂零群的刻划。在 此之前，先用王品超、杨兆兴BJ给出的两类极大子群的0一子群偶给 出有限群可解性、超可解性及幂零性的一些新条件。它们是[4]中有 关定理的推广，也是[1]中有关结果的进一步改进。顺便给出文献 『11]中的一类极大子群对群结构的影响。 本文涉及的群G概指有限群。为方便起见，我们用M·G表示 M记M在G中的共轭交。若M’G， M为G的极大子群，以Core }G：Ml为合数，则称M为G的C一极大子群，文中未予特别规定和说 明的符号均是标准的。 第一章定义、基本性质及引理 定义】 设M·G，G的子群偶(C，D)称为关于M的e一子群偶， 若 i)DqG，D≤C； 11)M，C=G，M，D=M； ij|)C／D不真含G／D的异于1的正规子群。 记0(M)={(C，D)l(C，D)为G的关于M的0一子群偶}。 在0(M)中，我们定义如下的偏序≤， (C，D)≤(C’，D’)，若C!C’。 不难看出群偶集e(M)非空且关于以上定义的偏序必有极大元。 定义2设M·G，称0(M)中关于偏序≤的极大元(c，D)为一个 关于M的极大0一子群偶。 王品超、杨兆兴【3J给出： 菇={MI M为G的包含某Sylow子群正规化子的极大子群}。 鲧’={MJM∈％，M为c一极大子群}。 M∈％}； 若。罪=午，令中1(G)=G，若％≠甲，则令西1(G)=N{Ml j。 若％‘=9，令中’(G)=G，若。呸’≠午，则令西’(G)=N{MlME嚣4 当舔=(p时，包含G的某sylow子群正规化子的极大子群不存在，所 以对lG P一子群G。有 I的任意素因子P，对G的任意Sylow 规化子的C一极大子群不存在，即G的任意包含某Sylow子群正规化 子的极大子群必为素数指数，因而G超可解([5，定理7．25])。以下 我们只讨论％≠午与％。≠(D的情况。 我们指出，若(c，D)∈0(M)，由e一子群偶的定义，DsCoreM。 此外，关于0一子群偶的偏序，虽然规定为“(c，D)≤(c‘，D’)，若 C≤C。’，但这实际上蕴涵了D≤D’。 。 引理1 ([1]LemJna ·2· e一子群偶。