关于单K_4-群

确定某种类型阶的单群已有不少结果(见文献[1—6]),其中文献[2]证明了有限群G的阶的相异素因子数|π(G)|为3的单群是下述群之一:A_5,A_6,L_2(7),L_2(8),L_2(17),L_3(3),U_3(3)及U_4(2)。文献[7]称上述单群为单K_3-群,并指出它们的分类只能作为所有的有限单群分类的一个推论。     

关于有限单群的若干结果

Ⅰ.关于有限单群的阶 定理 有限单群G的阶不为k(≥3)次幂。G的阶为平方的充要条件是,G为Lic型单群B_2(p),其中p为满足下式的素数:     

单群的一种数量特征

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

关于Mukhin的一个问题

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

散在单群的一个新刻划

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

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

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

关于有限单群的阶

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

有限单群的一个刻划

在文献[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中元的     

有限单群的一种新刻划

在本世纪70,80年代,Kwok Marcel等和Adilson等人证明了PSL(2,2~m),G_2(q),J_1可由其特征标表唯一决定.本文将证明如下:主要定理 设G是有限群,M是单群,G和M有相同的特征标表,则G(?)M.我们的证明思路是这样:由文献[5]知,要证明主要定理只需证明B_n(q)和C_n(q),q为奇质数幂,不能有相同的特征标表.我们下面去证B_n(q)和C_n(q)的共轭类长度之集合不同.     

Sylow2-子群为交换的有限单群的刻划

对Sylow 2-子群为交换的有限单群,J.H.Walter证明了如下有名的定理。引理1 若F是Sylow 2-子群为交换的有限非abel单群,则下述结论之一成立: (1) F≌PSL(2,q),q>3,q≡3,5(mod 8)或q=2~n,n≥2; (2) F≌J; (3) F≌R(q),q=3~(2m+1),m≥1。设G是有限群,x_e(G)为G中所有元的     

再论有限群中元的阶之集

设G为有限群,π_e(G)为G的元的阶之集.对正整数集的任一子集m,令h(m)为满足π_e(G)=m的有限群G的同构类类数.文献[1]中作者提出了如下猜想:对正整数集的所有子集,h(m)∈{0,1,∞}.最近,Mazurov证明了如下结果:如果m=π_e(L_3(5)),则h(m)=2.于是他给出了上述猜想的一个否定回答.本文将给出h(m)=2的另一个例子.定理 设G是有限群.则π_e(G)=π_e(L_3.(9)),当且仅当G≌L_3(9)或L_3(9).2_1.由于没有找到集合m满足h(m)=3,我们提出如下问题.问题 是否存在一个正整数k,使得对正整数集的任一子集m,总有h(m)∈{0,     

Dixmier代数与轨道数据的归纳诱导法及其应用

为研究Dixmier映射,Vogan定义了Dixmier代数与轨道数据,并给出了抛物子群诱导法.本文将证明这些诱导法是可归纳导出的,并在此基础上对SO(2n 1,C),SP(2n,C)及F_4,G_2类Lie群部分地证明了文献[1]中Vogan的一个猜想,即上述Lie群的完全素可交换轨道数据的抛物诱导与抛物子群选取无关.1 归纳抛物诱导本文恒假定G为复约化Lie群,P(?)P_1为G的两个抛物子群,P=LU,P_1=L_1U_1分别为它们的Levi分解,且L(?)L_1,而(?),(?),(?),(?),(?),(?),(?)分别为它们的Lie代数.记Q=L_1∩P,(?)=(?)∩(?),显然Q为L_1的抛物子群(有Levi因子L),其Lie代数为(?).     

关于交错群的特征性质

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

允许素数阶互素自同构的有限解

本文中涉及的群都是指有限群。文中使用的一切符号的意义遵循文献[1]。 首先作一说明。设群G允许素数r阶自同构α,且r|G|。令A=<α>,那末C_G(α)=C_G(A),且G的“A不变子群”与“α不变子群”等同,所以在涉及此情形时,我们可应用文献[1]定理6.2.2.     

2~n·3·pq阶单群

本文的结果是R.Brauer和段学复早年的一个工作的推广。他们在“On Simple Groups of FiniteOrder I”(1945)一文中证明了,阶为pq~br的单群必是LF(2,5)或LF(2,7),其中p,q,r,是素数,b是正整数。自然可进一步考虑阶为2~n·pqr的单     

关于Zassenhaus猜想

一、问题的提出 在文献[1]中,Thompson用Glauberman关于特征K-函子的结论解决了Zassenhaus提出的一个著名的猜想,即证明了如下定理: 设G为有限群,对G之每一Sylow子群P,有N_G(P)=P,那么|G|为一素数的幂(文献[1]X.8.15)。     

一类特殊的有限群

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

S_p(4,K)的单模的扩张(Ⅱ)

设G=S_p(4,K),K是特征数p>0的代数闭域。在文献[1]中笔者对奇素数p完全确定了单G-模的扩张,本文讨论P=2的情形。由于对某些λ∈X_1(T),Ext_(G_1)~1(L(λ),L(λ))可以不等于零,相应的讨论要比奇素数p的情形复杂一些。除非另外说明,我们仍使用文献[1]的记号。     

关于方程|Aut(G)|=p~2q~2的解

1 结果我们关心如下问题:给定有限群G,确定有限群X,使得Aut(X)=G,而Aut(X)表示X的全自同构群.Iyer证明了上述方程的解至多有有限个.对于任意固定的正整数n,同样的结论对方程|Aut(X)|=n成立.n的某些特殊情形已被研究,Machale和Curran证明了,对任一奇素数 P,|Aut(X)|=P~m(1≤m≤5)无解; Flym给出|Aut(X)|=2~5的全部解; n=p~2q(p和q是不同的素数)在文献[5]和[6]中被研究,本文利用文献[7]的结果,完整地解决了n=p~2q~2的情形.我们用r_1,r_2和r_3分别表示形如4q~2+1,2q~2+1和2q+1的素数,而q为奇素数.本文的     

关于函数域中的Minkowski单位

设K是次数为奇素数l的循环数域,则其整数环O_K的单位群U_K={±1}×V_K(直积),其中V_K是范1单位群。由Dirichlet单位定理,V_K是秩l—1的自由Abel群。如果