有限群的正规π补

文章中出现的群都是有限的,C是一个群,H是它的一个子群,如果(|H|,(G:H))=1,则称H为G的Hall子群。如果G的正规子群X满足KH=G,K∩H=1,则称K是一个H的汇规补子群。 令π为一个素数集,它关于素数的补集合记为     

E_π~n-群的子群

设G是有限群,π是若干素数组成的集合.若G含有Hallπ-子群,则称G为E_π-群;若G是E_π-群,并且其所有Hallπ-子群均共轭,则称G为C_π-群;若G是C_π-群,并且G的任意π-子群均含在某Hall π-子群,则称G为D_π-群.此外,如果G含有幂零Hallπ-子群,称 G为E_π~n-群.有例子表明:E_π~n-群的子群不必为E_π~n-群,如G=PSL(2,31),π={3,5},这时G为E_π~n-群,但G含有同构于A_5的子群H,而H不是E_π~n-群.     

关于满足置换化条件的有限群

设G是任一有限群,H是G的一个子群。我们把P_G(H)=H=H>称为H在G中的置换化子。若对G的任何真子群H,有H(?)P_G(H),则称G为满足置换化条件的群,我们简称之为PC群。在文献[1]中对可解PC群已有了一些研究。例如,超可解群是PC群,奇阶PC群是超可解的等。但是容易验证,S_4即四个文字上的对称群是可解PC群,它不是超可解的。因此,一般地说,偶阶PC群不一定超可解。本文对PC群的性质进行了研究,给出了可解PC群为超可解的充分且必要的条件,即下面的定理1。     

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

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

Eπn-群的子群

<正>设G是有限群,π是若干素数组成的集合.若G含有Hallπ-子群,则称G为E_π-群;若G是E_π-群,并且其所有Hallπ-子群均共轭,则称G为C_π-群;若G是C_π-群,并且G的任意π-子群均含在某Hall π-子群,则称G为D_π-群.此外,如果G含有幂零Hallπ-子群,称 G为E_π~n-群.有例子表明:E_πⁿ-群的子群不必为E_πⁿ-群,如G=PSL(2,31),π={3,5},这时G为E_π~n-群,但G含有同构于A₅的子群H,而H不是E_πⁿ-群.     

有关亏数群的一些结果

本文中,G为有限群。S_p(G)为G的Sylow p-子群的集合。我们固定一个分裂的模系统(K,R,F),这里,CharK=0及CharF=p。一个p-块是指群代数FG的块。     

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

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

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中所有元的     

约束的p-子群和p-约束群的亏数群的一些结果

本文中,G是有限群,S_p(G)是G的Sylow p-子群的集合。我们固定一个分裂的模系统(K,R,F),这里,CharK=0及CharF=P。一个p-块是指群代数FG的     

关于可分群的一个注记

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

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

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

极大子群同阶类类数不大于2的有限群

S.Adnan曾证明如下定理: 设G是有限群,G中极大子群的共轭类类数为2,则G可解。 我们将极大子群共轭类推广到同构类,     

关于具有T.I Sylow p子群的有限群的p可解性

Feit曾利用抽象群论的方法,巧妙地证明了下面的定理。 定理1 设G是任意有限群,G的Sylow p子群P是循环的。若G有正规子群N使得P|(|N|,|G/N|),则G是p可解的。 此定理在讨论具有循环Sylow P子群的有限群的理论中占有十分重要的地位,Brauer在文献[1]中还曾利用模表示论的方法再次给出定理1一个精彩证明。1985年Blau证明了     

单群的一种数量特征

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

形如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,使得且.     

实半单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,π)的复化。     

偶阶交换3-DCl群

设G是有限群,G的非空子集S称为一个Cayley子集,如果1G,给定G的Cayley子集S,定义Cayley有向图如下:     

有限交换2-DCI群和一类3-DCI群

设G是有限群。称G的非空子集H是Cayley子集,如果G的单位元e(?)H.对于G的每个Cayley子集H定义Cayley有向图x=x(G,H),这里V(x)=G,E(x)={(a,6)|a,b∈G,ba~(-1)∈H}。     

S~7上无Lie群构造

首先我们列出以下八个熟知的结果: 引理1 连通紧致Lie群G是其中心C(G)和若干个连通单正规子群G_1,…,G_s的乘积。即 G=C(G)·G_1…G_s,其中G~*=G_1…G_s是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-正则的}.