关于有限单群的阶

研究有限单群的阶历史上有著名的Brauer纲领。文献[1]的作者证明了:若G是有限偶阶群,|G|>2,则G中含真子群H,满足|G|≦|H|~3。由于奇阶群可解,上述定理中偶阶的条件显然可去掉。在研究有限单群的过程中,用群阶与单性为条件来刻划单群有不少零星的结果,如见文献[2]。本文受上述工作的启发,用单群分类定理从两个方面来研究有限单群的阶,从而推广了上述结论。我们的研究表明,除少数例外情形外,几乎所有的有限单群均可用群阶与单性加以刻划。本文所讨论的群恒为有限,所用的符号都是标准的。     

单群的一种数量特征

本文只讨论有限群,文中记号是标准的.设G是有限群,用π(G)表|G|的素数因子的集合.用[x]表示不超过x的最大整数.用纯数量来刻划群历来被群论工作者重视,并有许多好结果(见文献[1]).这种研究可分成几个方面,其中一个重要的方面是用极大子群的阶或指数来刻划群的特性.例如,Huppert关于超可解群的著名定理:有限群G超可解(?)G的极大子群的指数都是素数.Guralnick给出了有素数幂指数的极大子群的单群,并证明极大子群的指数都是素数幂的群G可解或G/S(G)(?)PSL(2,7).王殿军用极大子群的阶的集合刻划了SL(2,q).作者从极大子群的指数的因子情况和类数等不同的角度来研究群的结构,获得了一些结果.通过这些研究可以看到极大子群的指数集合或阶的集合对群的结构有很大的影响.我们猜想这两个集合能够用来刻划群特别是单群.本文已获得下列定理:     

n循环与n超可解群

R. Baer等曾讨论了n可换,n可解与n幂零群并得出一系列结果。但尚未见有文献提出n循环与n超可解群。本文给出n循环与n超可解群的定义及其若干结果。以下用符号G(n)表示群G的子集{x~n|x∈G},n—G表示群C的子集{x|x~n~i=e,i为某非负整数,e为G的单位元},P_a—G表示群G的子集{x|(o(x),n)=1},其中o(x)表示x的阶。若G=n—G,则称G为n群。若G=P_n—G,则称G     

有限单群的一个刻划

在文献[1]的基础上,仅用元的阶之集我们又刻划了一批有限单群,即证明了下述定理: 定理 设G是有限群,H为下述有限单群之一:A_(11);PSU(6,2);S_z(2~(2m+1)),m≥1;M_(12),J_3,HS,McL,Suz,Ru,O'N,Co_2和Co_3.则G同构于H当且仅当π(G)=π_e(H),其中π(G)表示G中元的     

某些李型单群的一个新刻划

对所有的有限单群给出形式统一的刻划显然是有意义的。我们继续证明下述猜想。 猜想 设G是群,π_e(G)是G的元的阶之集,H为有限单群,则G≌H的充要条件是:     

一类特殊的有限群

本文研究元的阶除1和一个数m外均为质数的有限群(简称为有限拟m质元群),得到如下结论: 定理1 设G为可解拟m质元群,则下述情形之一成立: Ⅰ.G是方次数为p或p~2的P群。     

关于具有给定西洛子群正规化子的有限群

近年来一系列工作用于研究具有给定西洛子群正规化子性质的有限群.文献[1]证明了,如果有限群G的任意非单位西洛子群的正规化子幂零,则G本身幂零.在文献[2]中指出,所有超可解有限群的群系U不具有这种性质.换句话说,如果有限群G的任意非单位西洛子群的正规化子超可解,那么G可能非超可解.有限幂零群的群系是继承的局部(?)-群系,而U不是(?)-群系.由此产生一个问题:哪些继承局部(?)-群系具有如上所指的性质?本文在可解群类中完全解决了这个问题.此问题由教授提供.     

关于可分群的一个注记

一、主要结果 本文考虑的群都是有限群。群G叫做可分的,如果G可以表为两个真子群A和B之积,即G=AB。对可分群的研究是一个活跃的课题。 在叙述本文的结果之前,我们先交代几个符号的含义。S(G)表示群G的最大可解正规子群。PSL(2,p~n)的自同构群用PTL(2,p~n)表示,它的构造是清楚了的。若无特别声明,G_p     

散在单群的一个新刻划

对于饶有趣味的散在单群存在着各种不同的刻划。本文继续以前的工作,仅用群G的元的阶之集π_e(G)和|G|对26个散在单群给出形式统一的刻划。我们证明了如下定理: 定理 设G是群,H是散在单群,则G≌H的充要条件是:     

关于交错群的特征性质

用“阶”来刻划群是一个很有意义的工作。我们已用群阶和元的阶之集给出了交错群A_n的特征性质。这里再用有限单群分类定理给出A_n的两个新刻划: 定理1 设G为有限群,如果对于任意质数p都有,其中那么G(?)A_n。 定理2 设G为有限群,r_n为不大于     

某些交错群和对称群的刻划

设G为群,π_e(G)为G中元的阶之集.在文献中作者证明了G(?)A_n当且仅当(1)π_e(G)=π_e(A_n),(2)|G|=|A_n|.对某些交错群,如A_5,A_7,A_8可以仅用上述条件(1)加以刻划.在文献中作者证明了对所有的对称群S_n,n≥2,可用上述条件(1)和(2)加以刻划.然而,对群S_i,i=2,3,…,6均不能由条件(1)单独确定.     

有限特殊射影线性群的特征性质

在文献[1]中我们提出了下述猜想: 猜想1 设G是群,M是有限单群。则当且仅当 (a) π_c(G)=π_c(M),其中π_c(G)记为G中元的阶之集;     

群论中推广定理的一种方式

本文讨论之群恒为有限。关于幂零群,It曾建立下面定理:It定理设G为奇阶群。1)若G的素数阶子群均在G的中心内,则G为幂零。2)若G′的素数阶子群均在G内正规,则G可解。我们可推广     

真商群的下中心列的第c+1项(c≥2)是有限的群

我们以FN_c-群表示下中心列的第c+1项γ_(c+1)G是有限的群G.若群G的每一真商群是FN_c-群但G本身不具备这种性质,则称G为外FN_c-群(JNFN_c-群).文献[1]已经讨论了JNFA-群(即c=1时的JNFN_c-群),本文研究c≥2时的JNFN_c-群,给出这类群的颇为令人满意的结构描述.当然研究过程也表明这里的研究比文献[1]     

有限群极大子群的复合指数

有限群G的极大子群的性质和G的结构之间的关系已有许多作者进行了研究。在文献[1]中Deskins定义了有限群G的极大子群的复合指数,并获得有限群为可解群的一些结果。最近Mukherjee和Bhattacharya以及Deskins进一步研究了复合指数对群结构的影响,本文将讨论文献[3]中Deskins提出的一个猜想。文中所论群均为有限群,凡没有提及的概念都是标准的。设M是群G的一个极大子群,     

带作用的极小非可解群

极小非可解群,即极小单群的类型,已由Thompson所确定。这个结论在有限群的研究与发展中,特别是研究群的可解性时,起着至关重要的作用。研究带作用的极小非可解群对带作用的群的可解性研究当然也是很重要的。关于带作用的有限群,围绕着不动点子群与可解性的关系问题,许多学者进行了深入的研究。主要是围绕下面著名猜想开展工作的:     

p-可解群的p-正则类的长和p-秩

本文目的是建立有限p-可解群G的p-正则类的长的p-部分和G的p-秩及p-长的关系.文中所说的群均指有限群.p总代表素数.G_p表示群G的Sylow p-子群.r_p(G)和 l_p(G)分别表示p-可解群G的p-秩和p-长.对任一个群G及X∈K≤G,Cl_k(x)表示K的含X的共轭类.Con(G):={C|C是G的共轭类}.对于C∈Con(G),|C|叫做共轭类C的长.G的p′-元叫p-正则元,p-正则元的共轭类叫做p-正则类.对于整数n,如果n=p~am,p(?)m,那么我们写ω_p(n)=a.对于群G,我们定义rc_p(G)=max{ω_p(|C|)C∈Con(G)且C是p-正则的}.     

关于Mukhin的一个问题

在文献[1]中Mukhin提出了如下公开问题:是否存在有限非交换单群,使得它的全部sylow子群的正规化子均有奇指数?在本文里,我们利用有限单群分类定理证明了如下定理。定理如果有限群G的全部sylow子群的正规化子均有奇指数,那么G为2-幂零群。这样,我们完全解决了Mukhin问题。以下假定所讨论的群均为有限群,所用术语和符号同文献[2]。证设群G为极小阶反例。我们首先证明G为非交换单群。实际上,容易证明定理的     

{0,1,3}精确群结构

对于有限集合Ω上的置换群G,我们用θ表示置换的特征,用g表示|G|,n表示|Ω|。设L是一些小于n-1的非负整数的集合。称群G为一个L群,是指对于G的任     

形如Np的子群系可补的局部群系

本文中所有群为有限群。定义和符号参见文献[1～3]。这里给出本文常用的一些概念与符号。一个群类称为群系,如果它关于同态像和次直积是封闭的。非空群系(?)称为局部的,如果由可推得一个群类(?)称为Fitting类,如果满足以下两个条件:1)若N为G的次正规子群,则若N_1,…,N_t为G的次正规子群且N_i∈(?),i=1,…,t,则。一个群系的局部子群系如果同时是一个Fitting类,则称之为局部Fitting子群系。设(?)为某一群的集合。我们用form(?)表示由群集合(?)生成的群系,用lform(?)表示由(?)生成的局部群系,π(G)表示群G的阶的素因数的集合,表示所有幂零群的群系,N_π表示所有幂零π-群的群系,(1)表示单位元群系。群系(?)的子群系(?)_1称为在(?)中可补的,如果(?)_1在(?)的子群系格里可补,即存在(?)的子群系(?)_2,使得且.