次正规嵌入子群与有限群的可解性(Ⅱ)

群G可解当且仅当对于每个M∈Fod(G)或M∈F2(G)或存在G的可解极大子群M,存在I(M)的极大元C使得C/K(C)幂零且下列条件之一得到满足:(1)C/K(C)的Sylow 2-子群的极大子群在G/K(C)中次正规嵌入;(2)C/K(C)的Sylow 2-子群的循环子群在G/K(C)中次正规嵌入.     

极大子群指数为素数幂有限群

讨论了含指数为素数幂的可解、超可解或者幂零的极大子群的有限群的结构.得到了这类群为可解群或超可解群的一些充分条件;设M是G的一个幂零极大子群,如果｜G∶M｜=p^a（p素数）,那么G为可解群.     

关于有限幂零群的若干结果

利用弱拟正规子群,得到了有限群的幂零性的一些新刻画,主要获得了下列结论：（1）设G存在幂零的极大子群M,若M及其极大子群均在G中弱拟正规,且G与D型群无关,则G幂零,其中D型群的定义为D=;（2）若群G存在两个不共轭的幂零极大子群均在G中弱拟正规,则G幂零当且仅当G与D型群无关,其中D型群的定义同（1）中D型群的定义.     

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

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

有限群的可解性

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是可解群。     

有限可解群的CI-截刻画

利用极大子群的C I-截定义,得到有限可解群的新刻画:(1)有限群G可解的充分必要条件是G中存在可解极大子群M∈Fs(G),使Sec(M)=1;(2)有限群G可解的充分必要条件是G中指数既非素数也非素数平方的极大子群M之Sec(M)为幂零群.推广了几个已知的重要结果.     

极大子群的S-完备

M是有限群G的一个给定极大子群,如果G的子群C不包含在M中,但是C的每个G-不变真子群都被M包含,那么就称C是M的一个完备。如果完备C同时还满足下列条件:或者C=D,或者C是子群D的一个极大子群,其中D不是M的完备,则称C是M的一个S-完备.利用极大子群的S-完备刻画了有限可解群.     

非幂零极大子群个数的2个下界

给出非幂零极大子群的2个下界:(1)设G是有限群G的非交换极小正规子群,p是π(N)中最大的素数.令N=R_1×R_2×…×R_l是同构单群的直积,则G至少有p~l个不包含的N非幂零极大子群.(2)设G是有限非可解群,则有G的非幂零极大子群的个数n(G)≥|π(G)|+p,其中p=min{q∈π(G)|G的Sylow q-子群在G中正规}.     

所有极大子群皆交换或正规的有限群

本文研究了极大子群或者交换或者正规的有限群的结构.首先我们证明了这类群为可解群并且G/f(G)幂零.其次通过分析这类群的子群,给出了这类群的一个充要条件以及一些结构性质.     

极大幂零子群的阶为素数幂的有限群

主要用有限单群理论及其素图知识讨论了极大幂零子群的阶为素数幂的有限群,给出这类群结构的一些刻化.设G有限群,G的极大幂零子群的阶都是素数幂,则G为下列之一:1)G为p-群;2)G为pαqβ阶群,此时G为Frobenius群或2-Frobenius群;3)存在H△G,H为2-群,G/H同构下列群之一:A5、A6、A6·23、L2(7)、L2(8)、L2(17)、L3(4)、2B2(8)、2B2(32).进一步可得:当G/H≌L2(7)时,有G≌L2(7),其中H是2-群;当G/H≌L3(4)时,有G≌L3(4),其中H是2-群.     

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 .     

关于一个例子的注记

证明了命题：⑴若G有一个指数为奇素数幂的超可解极大子群，则G可解；⑵若G有一个指数为素数的超可解极大子群，则G可解；⑶若G有两个指数为不同素数的可解极大子群，则G有Sylow塔；⑷若G有3个指数为不同素数的超可解极大子群，则G超可解。     

指数为π-数的极大子群的交

对任意群G,Frat(G)是指G的极大子群的交.研究指数为π-数的极大子群的交,即πFrat(G),得到与Frat(G)类似的性质.     

关于强半正规性

引入了关于有限群的子群的一个新概念:H≤G,H的每Sylow子群在G内半正规,则称H在G内强-半正规.利用这一概念,我们证明了如下的结果:(1)群G中,强-半正规的极大子群是超可解的,且在G中有素数指数.(2)存在强-半正规极大子群的群是可解群.(3)若群G的极大子群M强-半正规,且M的每Sylow子群的极大子群在G内半正规,则G超可解     

两种子群特性与有限群的超可解性

证明了：（1）设G是有限p-可解群,P∈Sylp（G）,则G是p-超可解当且仅当P的极大子群在G中半覆盖-远离或G-半置换.（2）有限群G为超可解当且仅当对于G的每个素因子p,存在P∈Sylp（G）使得P的极大子群都在G中半覆盖-远离或PFp（G）-半置换.（3）设F是包含超可解群系的饱和群系,G是有限群,H G使得G/H∈F.如果对于H的任意素因子p,存在P∈Sylp（H）使得P的极大子群都在G中半覆盖-远离或PFp（H）-半置换,则G∈F.     

关于半正规的几类群

利用子群的半正规性讨论了几类有限群的结构,得到如下主要结果:(l)极大子群超可解的有限群当其极大子群的极小子群半正规时,它不是超可解群就是如下三种群之一:(I)p~αq~β阶内-Abel群,p(?)q-1;(Ⅱ)p~(α+β)r(?)阶群,α≥2,β≥0,p~β=│φ(G)│,p~(α-1)||r—1,α~((?)~α+β)=c_1~(?)=c_2~(?)=…=c_(?)~(?)=1,c_ic_j=c_jc_i,i,j=1,2,…,p,c_(?)~(?)=c_(i+1),i=1,2,…,p-1,c_(?)~(?)=c_1~(?),t(mod r)指数p~(α-1);(Ⅲ)D_(2_q)型群;(2)极大子群可解的非Abel有限单群当其二次极大子群的极小子群半正规时,G恰为A_5.     

有限群为Bp群的两个充分条件

设G为有限群,π为某素数集合。G的子群H称为G的π—S—拟正规子群,如果对每个P∈π,H与G的每个Sylow P—子群可换。G称为Bp群,如果NG(P)为P-幂零群蕴含G为P-幂零群,其中P∈SylpG。本文证明了G为Pp群,如果G满足下列条件之一:(1)G的Sylow P—子群P的每个极大子群为G的p—S—拟正规子群;(2)G的Sylow P—子群P的每个二次极大子群为G的p—S—拟正规子群。     

有限群的极大子群s-完备

利用集合MH(G)={M|M是不包含H的G之极大子群}研究有限群G的极大子群s-完备的性质,得到有限群G可解的一些新判据.     

次正规嵌入子群与有限群的p-幂零性

在P是群G的Sylow p-子群,其中p是| G |的一个素因子的条件下,证明G为p-幂零群当且仅当NG(P)为p-幂零群且下列条件之一成立:P的每个极大子群都在G中次正规嵌入;P的每个2-极大子群都在G中次正规嵌入.