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

关于Mukhin的一个问题

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

单群的一种数量特征

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

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的一个极大子群,     

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

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

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     

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_πⁿ-群.     

关于具有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证明了     

关于Zassenhaus猜想

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

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

同伦满保持幂零性

称映射f:X→Y为同伦满(单),如果对任意的空间W及u,v:Y→W(u,v:W→X),u(?)f(?)v(?)f蕴涵u(?)v(f(?)u(?)f(?)v蕴涵u(?)v).在文献[1]中,林红与沈文淮证明了定理A 设f:X→Y为同伦满(单).如果X和Y是幂零空间,则f的p局部化f_p:X_p→Y_p亦是同伦满(单).这里p是素数或零.     

关于有限个任意小同胚连接区域

任意小同胚及其有限复合是拓扑和动力体系中有兴趣的对象。本文研究紧致度量空间(连续统)中可以用有限多个任意小同胚相连结的区域。设X是具有度量ρ的紧致度量空间,G是X的同胚群H(X)之子群,o是G的对称开集(即o=o~(-1))且单位元1∈o.定义 G_o={k∈G:存在o的有限子集{k_1,…,k_n}使得k=k_nok_(n-1)o…ok_1}。易见,G_o是G的开、闭子群。     

关于交错群的特征性质

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

关于Zassenhaus猜想

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

连通环上Borel子群的自同构

设G是由有限维复单李代数L与其伴随表示确定的伴随型Chevalley-Demazure群概形,R是一个含单位元的交换环,R~*是R中所有单位构成的乘群,G(R)是环只上的ChevaUey群。设Δ是L的根系,Δ~+是由某一组素根系确定的正根系。设E(R)是G(R)的初等子群,U(R)是E(R)中由所有x_α(t),t∈R,α∈Δ~+,生成的上三角幺幂子群。设T(R)是G(R)的标准极大环面,T(R)同构于Hom(P,R~*),其中P是由Δ在整数环Z上张成的格。设B(R)是G(R)的由子群U(R)与T(R)生成的标准Borel子群。本文的主要结果是:     

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

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

幂零根基为Heisenberg代数的完备Lie代数的结构和实现

一个Lie代数称为完备Lie代数如果它的中心为零且所有的导子都是内导子。完备Lie代数的定义是Jacobson在 1962年给出的,近些年完备 Lie代数理论有了较大发展(部分研究可参见文献[2～5]),Jiang和Meng文给出了复数域C上所有幂零根基可换的完备Lie代数的结构和具体实现,文献[5]给出了复数域C上有限维Heisenberg代数的导子代数和全形,证明了此导子代数和全形的导子代数均为单完备Lie代数.本文讨论了复数域C上幂零根基为Heisenberg代数的有限维完备Lie代数的性质,给出了这一类完备Lie代数的同构定理,证明了一个以 Heisenberg代数为幂零根基的完备Lie代数可以分解为一个以 Heisenberg代数或一维可换Lie代数为幂零根基的可解完备Lie代数和另一个以Heisenberg代数或一维可换Lie代数为幂零根基的完备Lie代数的和,给出了所有这两类完备Lie代数的结构和具体实现.因而C上所有以Heisenberg代数为幂零根基的有限维完备Lie代数的结构和具体构造全部被研究清楚. 本文中所讨论的Lie代数均为复数城C上的有限维Lie代数.     

有限交换环上的典型群阶的计算

本文计算出任意有1的有限交换环上几类典型群的阶,同时利用GL_(?n)的阶得出有限交换局部环上一般向量空间中的计数定理.设R为有1的有限交换环.R可唯一表成有限个局部环R_i的直积,即R(?)R_i(R_i为有限局部环).R上的典型群G亦可写成G=multiply from i=1 to m G_i,这里G_i为R_i上相应的典型群.因而我们可将所讨论的问题限制在有限交换局部环上.下文如无特别声明,R表示有限交换局部环,M表其唯一的极大理想,K表示商域R/M.令π:R→k表R到k上的典型同态,但我们常记α∈R在k中的象为(?).令(?):GL_nR→GL_nk(SL_nR→SL_nk)表R与k上的一般线性群(特殊线性群)间的同态.记ker(?)=GL_nM(SL_nM),并用GL_n(R,M)(SL_n(R,M))表模M为GL_nK(SL_nk)中心元的GL_nR(SL_nR)中元素组成的子群.