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)表示群G的阶的素因数集合。     

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

在文献[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,     

连通环上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子群。本文的主要结果是:     

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

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

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

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

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

有限群的正规π补

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

单群的一种数量特征

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

有关亏数群的一些结果

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

球面稳定同伦群的第二周期性元素

球面稳定同伦群π_*(S°)_P的第一周期性元素就是在Novikov谱序列中具有滤子1的元素。众所周知,它们和imJ的部分量群的生成元一一对应。但是,关于π_*(S°)_P的第二周期性元素,近年来只有一部分已经确定,如Oka在文献[1—4]中得出的β_(tp)~n_(tj)∈π_*(S°)_P,当P≥     

Lamyerti算子的一些性质

余顶点均已标定。给出G的任意n—1主子图,则E是相对一致完备的向量格,T是E上的格同态,σ_p(T)代表T的点谱。λ、μ∈σ_p(T)\{0},Tx=λx,Ty=μy,x、y(?)0。W.A.Wickstead证明了如|λ|(?)|μ|.λ不是σ_p(T)的极限点,则|x|∧|y|=0,亦即x、y不交。并由此给出了紧格同态的谱分解,当E是具有序连续范数的Banach格,且T’也是格同态时。这里把这些结果推到了Lamperti算     

C~*-动力系统中作用群的amenable性

对C~*+动力系统(A,G,α),当G是amenable时,有G_α~×A=G_α~×rA,对比讨论其逆命题(G为离散时有过讨论,但所需条件显得略强)可知,对任一局部紧群,容易看出下列事实: (1)A=C时(此时α自动为恒等平凡作用),由于G_α~×A=C~*(G),G_α~×rA=C_r~*(G),从而,G_α~×A=G_α~×rA等价于C~*(G)=C_r~*(G),这正是G为amenable的等价条件;     

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

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

某些李型单群的一个新刻划

对所有的有限单群给出形式统一的刻划显然是有意义的。我们继续证明下述猜想。 猜想 设G是群,π_e(G)是G的元的阶之集,H为有限单群,则G≌H的充要条件是:     

代数基域变换的类Mackey定理

本文证明关于代数基域变换的类似于群代数中子群变换的Mackey定理的对偶结果(定理1、定理2),作为应用,推出类似于关于正规子群的Cliford定理的对偶命题(命题1),从而表明在群代数的模的子群变换与基域变换之间有某种对偶性。     

关于正则轨道的存在性

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

一类特殊的有限群

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