M_(12)和 PSU(6,2)的一个特征性质

本文证明了如下定理.定理 设 G 是有限群.则 Mathieu 群 M_(12)的特征性质是π_e(G)={1,2,…,6,8,10,11};特殊射影酉群 PSU(6,2)的特征性质是π_e(G)={1,2,…,12,15,18}.     

不可约特征标次数为等差数的有限可解群

设G为有限群,cd(G)表示G的所有复不可约特征标次数的集合.本文研究了不可约特征标次数为等差数的有限可解群,得到两个结果:如果cd(G)={1,1+d,1+2d,…,1+kd},则k≤2或cd(G)={1,2,3,4};如果cd(G)={1,a,a+d,a+2d,…,a+kd},|cd(G)|≥4,(a,d)=1,则cd(G)={1,2,2^e+1,2e+1,2^(e+1)},并给出了d>1时群的结构.     

Mathieu群的一个特征性质

R.G.Stanton等曾先后以群阶和单性为条件刻划了五个Mathieu群M_i,i=11,12,22,23,24。本文仅用群G的元的阶之集π_e(G)为条件来刻划这些群,得到如下结论。 设G是有限群,若π_e(G)=π_e(M_i),则GM_i,i=11,22,23,24。又若π_e(G)=π_e(M_12),且2~14×|G|,则GM_12。     

换位子群是不可分Abel群的有限秩可除幂零群

完整地确定了换位子群是不可分Abel群的有限秩可除幂零群的结构,证明了下面的定理.设G是有限秩的可除幂零群,则G的换位子群是不可分Abel群当且仅当G'=Q或Q_p/Z且G可以分解为G=S×D,其中当G'=Q时,■当G'=Q_p/Z时,S有中心积分解S=S_1*S_2*…*S_r,并且可以将S形式化地写成■其中■,式中s,t都是非负整数,Q是有理数加群,π_κ(k=1,2,…,t)是某些素数的集合,满足π_1■Cπ_2■…■π_t,Q_π_k={m/n|(m,n)=1,m∈Z,n为正的π_k-数}.进一步地,当G'=Q时,(r;s;π_1,π_2,…,π_t)是群G的同构不变量;当G'=Q_p/Z时,(p,r;s;π_1,π_2,…,πt)是群G的同构不变量.即若群H也是有限秩的可除幂零群,它的换位子群是不可分Abel群,那么G同构于H的充分必要条件是它们有相同的不变量.     

M_(π-)群的一个注记

设π是一个素数集合Isaacs建立了特征标π-理论,推广了Brauer模特征标理论.基于Isaacs的工作,定义了M_π-群,推广了M_p-群的概念,证明了若G是一个有限π-幂零群,则G是M-群当且仅当G是M-群.     

Conway单群CO2的一个刻划

用有限群G的元的阶之集π_c(G)我们已经刻划了如下散在单群:J_1,M_(11),M_(22),M_(23),M_(24)和HS(见[1,2,3]).这篇注记继续上述工作,仅用真π_c(G)给出Conway单群CO_2的一个特征性质.本文所讨论的群均为有限,所用的符号是标准的([4]).此外,还记π(G)为群G的阶的质因子集,|π(G)|为|G|的相异质因子数.我们证明了如下结论:     

对于某些素数共轭类长无平方因子的有限群

本文将考虑满足所谓SN(p)性质的有限群:对于群阶的某一素因子p,G的共轭类长无平方的p-因子.首先,研究了具有.SN(p)性质的有限群的一般结构描述.然后,给出对任意p∈π满足SN(p)性质的有限群G是π-超可解的若干充分条件(其中π是|G|的某些素因子组成的集合)     

例外型Chevalley群G_2(q)的h函数值

设G是有限群,πe(G)表示G中元素的阶的集合,h(πe(G))表示满足πe(H)=πe(G)条件的有限群H的同构类类数,本文证明了例外型Chevalley群G2(q)的h函数值为1或∞.     

例外型Chevalley群G2(q)的h函数值

设G是有限群,πe(G)表示G中元素的阶的集合,h(πe(G))表示满足πe(H)=πe(G)条件的有限群H的同构类类数,本文证明了例外型Chevalley群G2(q)的h函数值为1或∞.     

对称群的一个特征性质

设G为有限群,∑_n为n次对称群,本文证明了:G≌∑_n当且仅当|G|=|∑_n|且Π_e(G)=Π_e(∑_n),此处Π_e(G)为G中元的阶的集合。     

某些特殊射影线性群的特征性质(英文)

本文仅用“群的阶”与“元的阶”这两个最简单的群论概念刻划了某些特殊射影线性群,某主要结论是:定理5 设 G 是其中合数阶元的阶仅为2的方幂的有限群,3~2||G|,则 G 为下述情形之一:(1).G 为奇阶质元群,且|G|=3~n 或3~n p,其中 P 是大于2的质数,n≥2;(2).G=AB.其中 B=0(G)且为初等 Abel 3-群;A 为循环2-群或广四元数群;(3).G(?)M_9或 PSL_2(9);(4).G(?)PSL_3(4).定理9 设 G 是满足下述条件的有限群:(1).|G|的相异质因子数|π(G)|≥2+|π(1/2 (q-1))|,其中 q 为 Mersenne 质数,q>3,|π(k)|为正整数 k 的相异质因子数;(2).G 中含有1/2(q-1)阶元,且 G 中元的阶仅为异于1/2(q+3)的质数、1/2(q-1)的因子以及2的方幂;则 G(?)PSL_2(q),q 为 Mersenne 质数.定理10 设 G 是满足下述条件的有限群:(1).|π(G)|≥4;(2).除1外 G 中元的阶恰为异于7的质数,9和10;则 G(?)PSL_2(19).     

|A(G)|=26p2(p为奇素数)的有限Abel群G

本文根据有限Abel群G的自同构群A(G)的阶研究了群G的构造.利用有限交换群的一些性质,经过详细的理论推导,获得了|A(G)|=26p2(p为奇素数)的有限Abel群G的全部类型.     

关于π-幂零群的若干问题

设π是一些素数的集合.对有限群言,如果0(G)=0(G)_π,我们就称 G 为π-群;如果 G 的子群 H 有0(H)=0(G)_π,我们就称 H 为 G 的 π-Hall 子群.对 π 仅含唯一的素数 P 的情况,我们已经知道了斑赛特定理.P-换位子群、P-正规群、P-幂零群的一些性质见。本文是把这些结果加上适当的条件推广到 π 含不只一个素数的情况上去,此外还解决两个与上述内容有关的问题,     

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

本文证明了如下结果 1.设G是恰含两个极大子群同阶类的有限单群,则G(?)PSL(2,7)。 2.设G是有限群,若G中极大子群同阶类类数ι≤2,则|π(G)|≤3。且 (1) ι=1当且仅当G为p-群。 (2) ι=2时,有 (a) 若G可解,则|π(G)|=2; (b) 若G不可解,则π(G)={2,3,7},且其中M[N]为正规子群N与子群M的半直积,     

模特征标度图

本文假设G为一有限群且G的模特征标度图有两个连通分支。记πi(i=1,2)为其顶点集。文章通过p-长界定了G的πi-长，并证明了G的π1－或π2－长至多为4。     

非线性不可约p-Brauer特征标次数均为p的有限群

设G是有限群,p是素数,bcd_p(G)表示G的所有p-Brauer不可约特征标次数集合.本文给出了bcd_p(G)={1,p}的一个充分必要条件.在此基础上,还证明了如下结论:如果bcd_p(G)={1,p},则G/O_p(G)总是M-群.     

Characterization of L2(16) by Τe(L2(16))

Let G be a group and πe(G) the set of element orders of G.Let k∈πe(G) and m k be the number of elements of order k in G.Letτe(G)={mk|k∈πe(G)}.In this paper,we prove that L2(16) is recognizable byτe (L2(16)).In other words,we prove that if G is a group such that τe(G)=τe(L2(16))={1,255,272,544,1088,1920},then G is isomorphic to L2(16).     

有限群共轭类长的一个问题

设A和B都是有限群G的子群且G=AB.若A是G的次正规子群,且对每个p∈π(G)以及每个素数幂阶的p′-元x∈A∪B,p~2均不整除|x~G|,则G为超可解群.这个结果正面解答了由石向东,韦华全和马儇龙于2013年提出的一个问题,统一推广了由刘晓蕾于2011年得到的三个定理.     

关于Glauberman-Isaacs特征标对映的注记

假设群A经自同构互素地作用在G上.设χ是G的一个A-不变不可约特征标,π(G,A)表示Glauberman-Isaacs特征标对映.对于B≤A,T.R.Wolf曾猜想χπ(G,A)是χπ(G,B)a的一个不可约成份,此处C=CG(A).设G=N(X)H且(|N|,|H|)=1,假定H是A-不变的且N是一个Sylow塔群,N的Sylow-子群是交换的.在本文中,我们证明了如果这个猜想对所有H的A-不变子群成立,则猜想对G也成立.     

用$\tau_e(L_2(16))$刻画$L_2(16)$

Let G be a group and πe(G) the set of element orders of G.Let k∈πe(G) and m k be the number of elements of order k in G.Letτe(G)={mk|k∈πe(G)}.In this paper,we prove that L2(16) is recognizable byτe (L2(16)).In other words,we prove that if G is a group such that τe(G)=τe(L2(16))={1,255,272,544,1088,1920},then G is isomorphic to L2(16).