有限超可解群的一些充要条件II

主要证明了如下的结果:假设M是有限群G的任意极大子群,则下列命题是等价的:(1)G是超可解群;(2)M补于G的某个素数阶主因子;(3)有H G使M∩H为H的正规的极大子群;(4)M/MG为幂指数整除p-1的Abel群且｜G∶M｜为素数p的幂;(在下面的(5)～(8)中假设G之所有含于F(G)和Φ(G)之间的主因子在G中的中心化子之交是可解群.)(5)Φ(G)=H0相似文献   

有限超可解群的一些充要条件I

主要证明了如下命题等价:(1) G是超可解群;(2) 对G的任一极大子群M,G有正规子群K使|K:MG|为素数;(3)对G的任一极大子群M,G有正规子群K使K/MG为非平凡的循环群;(4) G的每个极大子群M补于G的循环主因子;(5)G有正规子群H使1=H0＜H1＜…＜Hn=H为G的主列片段,其中G/CG(Hi+1/Hi)为幂指数整除pi-1的Abel群,pi∈π(Hi+1/Hi),1≤i≤n,且∩n-1i=0CG(Hi+1/Hi)≤H;(6)对G/Φ(G)的每个极小正规子群N/Φ(G).G/CG(N/Φ(G))为幂指数整除p的Abel群,p∈π(N/Φ(G)).     

有限超可群的一些充要条件I

主要证明了如下命题等价：（1）G是超可群解；（2）对G的任一极大子群M，G有正规子群K使|K：Mc|为素数；（3）对G的任一极大子群M，G有正规子群K使K／MG为非平凡的循环群；（4）G的每个极大子群M补于G的循环因子；（5）G有正规子群H使1＝H0＜H1＜…＜Hn=H为G的主列片段，其中G／GG（Hi 1/Hi）为幂指数整除pi-1的Abel群，pi∈π（Hi 1/Hi),1≤i≤n,且n-1∩i=0CG（Hi 1/Hi）≤H；（6）对G／Φ（G）的每个极小正规子群N／Φ（G）．G／CG（N／Φ（G））为幂指数整除p的Abel群，p∈π（N／Φ（G））。     

弱S-拟正规嵌入子群与有限群的p-超可解性

群G的一个子群H称为在G中S-拟正规嵌入,如果对于任意的素数p|H,H的Sylowp-子群也是G的某个S-拟正规子群的Sylowp-子群。称群G的子群H在G中弱S-拟正规嵌入,如果存在群G的正规子群T,使得HTG且H∩T在G中是S-拟正规嵌入的,本文利用弱S-拟正规嵌入子群的概念,研究了超可解群的构造,得出了一些新结果:设群G是p-可解群,p是整除G的素因子。1)如果Fp(G)的每一个包含Op′(G)的极大子群在G中弱S-拟正规嵌入,则G是p-超可解群;2)如果Fp(G)的非循环的Sylowp-子群的任意极大子群在G中是弱S-拟正规嵌入的,则G是p-超可解群。     

弱S-拟正规嵌入子群与有限群的P-超可解性

群G的一个子群H称为在G 中S-拟正规嵌入,如果对于任意的素数p||H| ,H 的Sylowp-子群也是G 的某个S-拟正规子群的Sylowp-子群。称群G 的子群H 在G 中弱S-拟正规嵌入,如果存在群G 的正规子群T,使得 HT*G 且H∩T在G 中是S-拟正规嵌入的,本文*利用弱S-拟正规嵌入子群的概念,研究了超可解群的构造,得出了一些新结果:设群G 是p-可解群,p是整除|G| 的素因子。1)如果Fp(G)的每一个包含Op′(G)的极大子群在G 中弱S-拟正规嵌入,则G 是p-超可解群;2)如果Fp(G)的非循环的Sylowp-子群的任意极大子群在G 中是弱S-拟正规嵌入的,则G 是p-超可解群。(注:*表示公式,见正文) ）
     

可解NPM-群

讨论了阶被|G|的最小素因子p整除的所有非正规循环子群的正规化子皆极大的可解群(文中称满足条件的群为NPM-群)。得到了下面结果:(1)G为可解NPM-群且G的Sylow p-子群P为G的极大子群时给出了G的结构;(2)若G为可解NPM-群且P不是G的极大子群,则G或者为p-闭群,或者为p-幂零群。     

有限幂零群的若干刻划

从极大子群、中心主因子和正规子群的G 主列的角度来讨论有限幂零群,获得了有限幂零群的若干新刻划.设M是有限群G的任一极大子群,H G.令 G=G/Φ(G),则G是幂零群当且仅当下列条件之一成立:(1)如H≤\M,则H∩M G且H/H∩M≤Z(G/H∩M);(2)如H≤\M,则M≤CG(H/H∩M);(3)如H≤\M,则H≤CG(M/H∩M);(4)如H≤\M,则M补于G的一个中心主因子;(5)F( G)有一个 G 主列,其中每个主因子都是 G中心的且CG(F( G))可解;(6)Soc( G)有一个 G 主列,其中每个主因子都是 G 中心的;(7)K∞(G)≤H,H/Φ(H)有一个 G 主列其中每个主因子都是 G 中心的;(8)HCG(H)≤Z∞(G).     

有限群的SS-可补子群

设H是有限群G的子群.如果存在G的一个子群K,使得G=HK且H∩K在K中S-拟正规,则称H在G中SS-可补.证明了:(i)设p是整除群G阶的最小素因子.如果存在G的一个Sylowp-子群P,使得P的每个极大子群在NG(P)中SS-可补,且P′在G中S-拟正规,则G是p-幂零群.(ii)设F是一个包含超可解群类U的饱和群系,H是群G的一个正规子群,使得G/H∈F.如果对H的每一个Sylow p-子群P,P的每个极大子群在NG(P)中SS-可补,且P′在G中S-拟正规,则G∈F.     

几乎CAP*-子群与有限群的p-超可解性

设G是有限群,子群H称为G的CAP~*-子群,如果H覆盖或者避开G的每个非-Frattini主因子。子群H称为G的几乎CAP~*-子群,如果存在G的次正规子群K使得HK=G,且H∩K是G的CAP~*-子群。本文应用G的某些素数幂阶几乎CAP~*-子群刻画有限群的p-超可解性,推广了相关文献的一些结果。     

s-正规群及其性质

群G的一个子群H称为在G中s-正规，如果存在G的一个次正规子群K，使得G＝HK且H∩K≤HSG，其中HSG＝＜Hi|Hi在G中次正规且Hi包含于H＞．利用素数幂阶子群的s-正规性给出一些群的结构．     

有限群可解子群的探讨

讨论了非可解群的正规子群的可解性,以不包含正规子群K的极大子群M作为研究工具,得出主要结果:(1)当M∩K是幂零群时,K可解;(2)当M ∩ K是p-幂零群时,则K可解.进一步得出推论:若P∈Sylp(M ∩ K),且P循环,则K可解(p为|M∩N|的最小素因子).     

Sylow子群的极大子群皆s-半正规的有限群

子群H称为在有限群G中s 半正规,若H同G的所有阶互素于｜H｜的Sylow子群可换.主要结果如下:有限群G的所有Sylow子群及其极大子群都在G中s 半正规的充要条件是G的所有阶互素的Sylow子群之极大子群互相可换并且G的每个主因子H/R是素数阶的,若｜H/R｜=p,则｜G/CG(H/R) ｜=qb,其中素数q使qb 整除p- 1 .     

有限可解群的新刻画

在文献[3]的基础上,给出有限群极大子群的CI-截的3个性质,并得到有限群可解的3种新刻画:设G是有限群,如果G在Fs(G)中的极大子群的CI-截同构,则G可解;若p是|G|的一个素因子,对于群G的极大子群M∈Fps(G),M的CI-截的阶都是qarb,则G可解,其中q, r是两个不同于p的固定素数;设H是群G的S-拟正规子群,如果对于G的每个极大子群M,满足HM时,M的CI-截幂零,则H可解.     

F~*-子群与有限群的超可解性

设F是一个群类,称子群H为G的F*-子群,如果存在G的正规子群B使得H B—G,B/(B∩HG)∈F且对满足(q,H)=1的任意素数q,B都包含G的一个Sy low q-子群。本文利用素数幂阶F*-子群,给出有限群G为超可解的若干充分条件。     

有限群的弱c-正规

群G的一个子群H称为在G中弱c-正规，如果存在G的一个次正规子群K，使得G＝HK且H∩K≤HG，其中HG＝∩↑x∈GH^x是包含在H中的G的最大正规子群。该文利用子群弱c-正规性给出一个群为可解群、p－幂零群的一些条件，主要定理有：1）设G是一个有限群，则G可解当且仅当G的每个在Fc中的极大子群M在G中弱c-正规。2）设G是有限群，P是G的Sylow p-子群，这里p为素数，p||G|且（|G|,p-1)=1。假设存在P的一个极大子群P1使得P1在G中弱c-正规且Op(G)≤P1，则G／Op（G）是p-幂零的。     

c-截断和有限群的可解性

设M是群G的一个极大子群,K/L是G的一个使L≤M但K埭M的主因子.我们把(M∩K)/L叫做M的c-截断.通过特殊极大子群的c-截断的一些性质来刻画有限群的可解性,如:群G可解当且仅当G有一个可解的极大子群M使│G∶M│为素数幂且Sec(M)幂零.     

局部化的Mp-可补性质对群构造的影响

已知H是群G的子群,若存在G的子群K,使得G＝HK且对于H的任意极大子群Hi都有HiK相似文献   

有限群的几乎τ-嵌入子群

群G的一个子群H称为G的几乎τ-嵌入子群,如果G有一个s-拟正规子群T使得HT在G中s-拟正规且H∩T≤HτG,其中HτG是所有含于H的G的τ-拟正规子群生成的子群.通过研究有限群G的Sylowp-子群(p是|G|的一个素因子)的极大子群的几乎τ-嵌入性,得到群G的p-超可解性.同时,又通过研究有限群G的极小子群的几乎τ-嵌入性,得到群G的p-幂零性.     

π-■群

本文引进π-局部定义群系π-■,推广了局部定义群系的概念,统一和推广了P-幂零群、p-超可解群和 p-可解群等概念.本文还引进π-Frattini 子群Φ,(G)和π-Fitting 子群 F_x(G)两个特征子群,得到了π-■群的如下刻划:若■可解,对π-可解群 G,下列命题等价:(1) G∈π-■;(2) G/Φ_x(G)∈π-■;(3) ■p∈π∩π(G),G 的每个 p-极大子群 M 有 M/M_G∈■;(4) ■p∈∩π(G),G 的每个p-极大子群补于 G 的■-主因子.     

有限群的可解性

C-正规子群第一次被提出并被用来讨论了有限群的结构,之后得到人们的广泛关注。我们利用C-正规子群对有限群的可解性进行了讨论,得到了可解群的一些新的充分条件。主要结果有：(1)设G是有限群,H是G的偶阶幂零Hall子群,M是H的极大子群,若M的2-sylow子群在G中C-正规,则G是可解群;(2)设M是G的指数为2的偶阶极大子群,若M是内幂零群,且M的p‘-sylow子群在G中C-正规,则G可解;(3)设H是G的π-Hall子群,且2∈π,若H幂零且H的某个极大子群M在G中C-正规,则G是可解群。