K_4单群的分类定理

称群阶的相异素因子恰为n的有限单群为K_n单群。利用单群的分类定理本文证明了: 定理1 设G为K_4单群,则G同构于下述群之一: (Ⅰ)L_2(2~4),L_2(2~r),r≥5,2~r-1是Mersenne素数,是一素数的方幂。     

关于有限单群的阶

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

关于Mukhin的一个问题

在文献[1]中Mukhin提出了如下公开问题:是否存在有限非交换单群,使得它的全部sylow子群的正规化子均有奇指数?在本文里,我们利用有限单群分类定理证明了如下定理。定理如果有限群G的全部sylow子群的正规化子均有奇指数,那么G为2-幂零群。这样,我们完全解决了Mukhin问题。以下假定所讨论的群均为有限群,所用术语和符号同文献[2]。证设群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的阶不为k(≥3)次幂。G的阶为平方的充要条件是,G为Lic型单群B_2(p),其中p为满足下式的素数:     

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

在文献[1]中我们提出了下述猜想: 猜想1 设G是群,M是有限单群。则当且仅当 (a) π_c(G)=π_c(M),其中π_c(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,     

单群的一种数量特征

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

有限单群的一种新刻划

在本世纪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)的共轭类长度之集合不同.     

关于方程|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为奇素数.本文的     

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

设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)单独确定.     

用元的阶刻划PSL(2,q)

著名的Dickson定理提供了群PSL(2,q)的元的阶的信息.研讨上述情形的逆,文献[1,2]证明了若G是有限群,πe(G)=πe(PSL(2,q)),q=2~m或q=3~m(m≥2,q≠9),则G同构于PSL(2,q),其中πe(G)记为G中元的阶之集.本文取消上述对q的限制,完成了仅用元的阶刻划PSL(2,q),q≠9.事实上,我们证明了如下定理.     

强群分次环中的Clifford定理

设1∈G是群,1∈A是强G分次环。1在A_1=A_gA_(g-1)(g∈G)中有分解式 命题1 (Clifford定理) 若G有限,V为单左A模。则V是有限生成的半单A_1模。令W是V的单A_1子模,则V的单直因子A_1-同构于W的共轭{A_G(?)W|g∈C},且有A_1同构(e为某自然数)     

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代数为(?).     

关于Zassenhaus猜想

文献[1]利用有限单群分类定理及有限群局部理论中关于广义Fitting子群的一些深刻结论,推广了Zassenbaus的一个猜想.证明了陈重穆教授提出的如下定理.     

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

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

关于限制模的分量

关于群表示论中对限制模的分量(component)的研究已有著名的Green对应定理、Nagao定理及文献[1—5]的结果等。本文按文献[6,7]的术语符号(G为有限群,F为特征p的域)。先叙述     

实半单Lie群的正交实表示

严志达与张大干在文献[1]中,给出了实半单Lie群的有限维实表示的分类。本文将利用Vogan在文献[2]中提出的最低K型的概念,讨论实半单Lie群的正交表示设G为实半单连通Lie群,K为G的极大紧子群,分别为它们的Lie代数。V是一个实Hilbert空间。π:G→End(V)为一个同态。且π(g)v(g∈G,v∈V)为G×V到矿V的连续映射,则称(V,π)为G的一个实Hilbert表示。若π(g)同时又是正交算子(保持内积不变),则(V,π)称为G的正交(实)表示。若V中没有π(G)的非平凡不变闭子空间,则称(V,π)不可约。以下恒假定(V,π)为G的不可约正交表示。记(V~c,π)为(V,π)的复化。     

关于正则轨道的存在性

设G是一个有限群,V是一个有限维FG-模。什么条件下G在V上有正则轨道存在是有限群论中十分重要的问题,可参见文献[1]和[2]等。本文首先证明若G在V上没有正则轨道,则G的结构受域F的影响是很大的。其次我们研究不含截断D_8的有限2-群的正则轨道的个     

关于Zassenhaus猜想

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