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

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

关于有限单群的阶

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

关于单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-群,并指出它们的分类只能作为所有的有限单群分类的一个推论。     

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

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

关于Mukhin的一个问题

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

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-正则的}.     

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

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

新型铁基微晶合金磁性能的新水平

定义1 设G是一个有限群,S G\{1}且S~(-1)={s~(-1)|s∈G}=S,在G上的以S为特征集的Cayley图,记为Γ(S;G),定义为V(Γ(S;G))=G,E(Γ(S;G))={(g,sg)|g∈G,s∈S}。如果S生成G,则Γ(S;G)连通;否则它由[G:]个分支组成,每个分支同构于     

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

实半单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为有限群,π_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,     

关于Zassenhaus猜想

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

一般可积李代数gl(V)_(fin)及其相联的群

一、引言 Kac在文献[1]中提出了这样的问题:“如何刻划gl(V)_(fin)?”本文的目的就是为了解决这个问题,同时构造了gl(V)_(fin)相联的群G。 首先引入一些概念。设V是C上可能无限维的向量空间。A∈EndV称为局部有限的(l。f。)(相应地,局部幂零的(l。n。);半单的),如果(相应地,     

关于Steinberg群分解的一些注记

sharpe曾对稳定(无限)Steinberg群给出了一个四项分解LPLU;李福安最近给出了交换环上不稳定(有限)Steinberg群分解成LWLU的充分必要条件。本文将文献[2]     

关于Zassenhaus猜想

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

关于限制模的分量

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

一类特殊的有限群

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

L-群的Cartan子群的共轭分类

设G是一个连通的复约化代数群,它的对偶群~LG~0是这样一个代数群,~LG~0的素根系是G的素根系π的对偶π~v,而~LG~0的特征格则是G的特征格X~*(T)的对偶格X_*(T),这里T是G的一个取定的极大环面,而素根系则是相应于一个包含T的Borel子群B的素根系。详细定义见文献[1]。     

强群分次环中的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为某自然数)