单群L2(8)的一个特征性质
2016-05-06郭继东任永才张志让
郭继东, 任永才, 张志让
( 1. 伊犁师范学院 数学与统计学院, 新疆 伊宁 835000; 2. 四川大学 数学学院, 四川 成都 610064;
3. 成都信息工程学院 数学学院, 四川 成都 610225)
单群L2(8)的一个特征性质
郭继东1,任永才2,张志让3
(1. 伊犁师范学院 数学与统计学院, 新疆 伊宁 835000;2. 四川大学 数学学院, 四川 成都 610064;
3. 成都信息工程学院 数学学院, 四川 成都 610225)
摘要:展示单群L2(8)的一个特征性质,证明定理:如果有限群G的同阶的元素的个数组成的集合是{1,63,56,216,168},则G≅L2(8).
关键词:有限群; 单群; 元素的阶; 同阶元的个数
记Md(G):={g∈G|gd=1}.称有限群G1和G2是同阶型的,如果|Md(G1)|=|Md(G2)|,d=1,2,….1987年,J. G. Thompson在给施武杰的一封信中提出了下述问题[1]:
Thompson问题设G1和G2是同阶型的.如果G1是可解的,G2是否可解?
Thompson问题自1990年公开以来一直没有得到解决.
对于有限群G,用SOENS(G)表示G中的同阶的元素的个数组成的集合.例如,SOENS(L2(8))={1,63,56,216,168}.对于有限群G1和G2,如果G1和G2是同阶型的,则显然有|G1|=|G2|且SOENS(G1)=SOENS(G2).于是,产生了Thompson问题的一个变种,在这里姑且称为Thompson猜想:
Thompson猜想设M是个有限非Abel单群,G是个有限群.如果
则G≅M.
关于上述Thompson猜想以及别的类似的Thompson猜想的研究,例如见文献[2-3].这里感兴趣的是,Thompson猜想中的“|G|=|M|”这一条件是否可以去掉?对某些单群回答是肯定的.例如,令M=L2(8),则|G|=|M|这一条件可以去掉.本文目的就是证实这一断言,即证明下述定理:设G是个有限群.如果SOENS(G)={1,63,56,216,168},即如果SOENS(G)=SOENS(L2(8)),则G≅L2(8).
注SOENS(G)={n1,…,nt}一般说来不意味着|G|=n1+…+nt.
本文中的群都是指有限群.字母G总是代表一个群.π(G)是|G|的的全体素因子组成的集合.对于p∈π(G),用Sylp(G)表示G的全体Sylowp-子群组成的集合,用Gp代表G的一个Sylowp-子群.用πe(G)表示G的元素的阶组成的集合.用nm表示G中的m阶元的个数.此外,对符号|作一说明:|G||100表示|G|除尽100.文中其它未说明的符号都是标准的,例如见文献[4-5].
1预备引理
从若干引理开始.下述引理1引自文献[6].
此外,如果m>2,则φ(m)是偶数(φ是Euler Phi-函数).(在后面的论证中将不指明地使用引理1.)
下述引理2(i)是众所周知的,由引理1和引理2(i)得到引理2(ii)和引理2(iii).
引理 2对于群G,下述3个命题成立:
(i)nm=kφ(m),其中k是G的m阶循环子群的个数(m阶循环群中的m阶元(即生成元)的个数是φ(m));
(ii) 如果m>2,则nm是偶数;
(iii) 若nm是奇数,则m=2,G是偶数阶群.
下述引理3是一个初等结果[7].
引理 3对于群G,下述两个命题成立:
(i) 设m是|G|的因子,则m||{g∈G|gm=1}|.
(ii) 如果p是|G|的一个素因子,则p|(1+np).
下述引理4也是一个初等结果(见文献[7]).
引理 4设P是个pn阶初等Abel群,p是素数.那么,|Aut(P)|=pn-1(p-1)…(pn-1).
下述引理5是文献[8]中的定理9.3.1的(4)式的特殊情形.
说G是一个单K3-群,如果G是一个单群且|π(G)|=3.
引理 6[9]设M是一个单K3-群.那么M与下述群之一同构A5、A6、L2(7)、L2(8)、L2(17)、L3(3)、U3(3)和U4(2).
表 1
定义 1设SOENS(G)={m1=1,m2,…,mt}.令
下述引理7是引理3(ii)的直接推论.
引理 7π(G)⊆π(SOENS(G)+1).
2主要结果
现在着手证明本文的主要结果,即证明下述定理1.注意,SOENS(L2(8))={1,63,56,216,168}.
定理 1如果SOENS(G)={1,63,56,216,168},则G≅L2(8).
证明为便于对照察看,在下面列出2个表格.第1个表格(表2)的第1行中的数是SOENS(G)中的数,而第2行中的各个乘积是它正上方的数的素因子分解式.第2个表格(表3)的第1行中的数是SOENS(G)+1中的数,而第2行中的各个乘积是它正上方的数的素因子分解式.
表 2 SOENS(G)
表 3 SOENS(G)+1
由表3得到
下面分若干步骤完成定理的证明.
(I) |G|≥504(显然).
(II) 下述事实成立:(a) 2∈π(G)且n2=63;(b) 如果3∈π(G),则n3=56;(c) 如果7∈π(G),则n7=216.
证明根据引理2知(a)成立.根据引理3和表3知(b)和(c)成立.
(III) 下述事实成立:(a) 13∉π(G);(b) 19∉π(G);(c) 31∉π(G).
(IV)π(G)⊆{2,3,7}.
证明根据引理7和前面关于π(SOENS(G)+1)的等式及(II)和(III)得到π(G)⊆{2,3,7}.
(V) (根据(II)(a)可)写|G|=2n·r,其中n和r是正整数且(2,r)=1.那么,n≤6.
证明由于φ(25)=24,根据引理2和表2有25∉πe(G).
如果2t∈πe(G),其中t=2,3,4,则由于φ(2t)=2t-1,根据引理2和表2得到n2t∈{56,216,168}(t=2,3,4).
总上述,得到n≤6.
(VI) 设|G|=3m·r,其中m和r是正整数且(3,r)=1.那么,m≤2,并且,如果m=2,则
证明由于φ(35)=2·34,根据引理2(i)并察看表2可知n35∉πe(G).同时,由于φ(3t)=2·3t-1,从表2还看到:如果3t∈πe(G))(t=2,3,4),则n3t∈{216,168}.
假设m=2.那么,由上一段知道32∈πe(G).于是,G的Sylow 3-子群是32阶循环群.从而,由于n32=168及φ(32)=2·3,根据引理2得到
所以,根据(II)(a)和(IV)得到π(G)={2,3,7}.
(VII) 设|G|=7f·r,其中f和r是正整数且(7,r)=1.那么,f=1(即|G7|=7),|Syl7(G)|=36=22·32,|G|=2n·32·7.此外,G没有14阶元.
(VIII)G不是2-群.
证明如果G是2-群,则根据(V)有|G|≤26=64,与(I)矛盾.
(IX)π(G)≠{2,3}.
证明假设π(G)={2,3}.那么,|G|=2n·3m.根据(V)和(VI)有n≤6,m≤2.于是,根据(I)有|G|=26·32,从而根据(VI)得π(G)={2,3,7},矛盾.
(X)G≅L2(8).
由(II)(a)、(IV)、(VIII)、(X)和(VII)可知:|G|=2n·32·7,n≤6,|Syl7(G)|=22·32.于是,有|NG(G7)|=2n-2·7.
由于|G|=2n·32·7及|Syl7(G)|=22·32,根据引理5知G是非可解的.令K是G的极大可解正规子群.那么,G/K是非可解的.令N/K是G/K的一个极小正规子群.那么,N/K是若干个同构的非Abel的单群的直积(见文献[10]).于是,N/K显然是个单K3-群,从而根据引理6和表1知:要么N/K≅L2(7),要么N/K≅L2(8).
2) 设N/K≅L2(8).这时,有L2(8)≅N/K≤G/K≤Aut(N/K)=Aut(L2(8)).从而,根据文献[11]知道:G/K≅L2(8)或G/K≅PΓL2(8).于是,由于33||PΓL2(8)|而33除不尽||G|,有G/K≅L2(8).从而,|K|=2n-3.
假设n>3.由于n≤6见(V))且G没有14阶元(见(VII)),根据引理4和阶≤23的群的结构断定K是8阶初等Abel 2-群.于是,由于G/K≅L2(8)是单群且G没有14阶元,根据引理4知道:23·32·7|22·3·7,矛盾.所以,n=3,|K|=1,G=N≅L2(8).证毕.
参考文献
[1] 沈如林,施武杰. 关于Thompson问题[J]. 中国科学:数学,2010,40(3):533-537.
[2] 邵长国,施武杰,蒋琴会. 单K3-群的一个特征性质[J]. 数学进展,2009,38(3):327-330.
[3] CHEN G Y. On Thompson’s conjecture[J]. J Algebra,1996,185:184-193.
[4] ROSE H E. A Course on Finite Groups[M]. London:Springer-Verlag,2009.
[5] ISAACS I M. Character Theory of Finite Groups[M]. Providence:AMS,2006.
[6] LANG S. Algebra[M]. NJ:Addison Publishing Company,1984.
[7] HUPPERT B. Endlich Gruppen I[M]. New York:Springer-Verlag,1967.
[8] HALL M. Theory of Groups[M]. New York:Macmillan Company,1959.
[9] GORENSTEIN D. Finite Simple Groups[M]. New York:Plenum Press,1982.
[10] ROSE J S. A Course on Group Theory[M]. Cambridge:Cambridge University Press,1978.
[11] Conway J H, Curtis R T, Norton S P, et al. Atlas of Finite Groups[M]. Oxford:Clarendon Press,1985.
[12] HUPPERT B. Character Theory of Finite Groups[M]. Berlin:Walter de Gruyter,1998.
[13] 余大鹏,张良才.L7(3)与GL7(3)的刻画[J]. 数学年刊,2012,A33(5):599-608.
[14] MOGHADAMFAR A R, ZOKAYI A K. OD-characterization of certain finite groups having connected prime graph[J]. Algebra Colloq,2010,17(1):121-130.
2010 MSC:20D15; 20C15
(编辑周俊)
A Characterization of the Simple GroupL2(8)
GUO Jidong1,REN Yongcai2,ZHANG Zhirang3
(1.CollegeofMathematicsandStatistics,YiliNormalCollege,Yining835000,Xinjiang;2.SchoolofMathematics,SichuanUniversity,Chengdu610064,Sichuan;3.SchoolofMathematics,ChengduUniversityofInformationTechnology,Chengdu610225,Sichuan)
Abstract:In this paper, a characterization of the simple group L2(8) is given as follows: Let G be a finite group. If the set of the numbers of the same order elements in G is {1,63,56,216,168}, then G≅L2(8).
Key words:finite group; simple group; the number of the same order elements
doi:10.3969/j.issn.1001-8395.2016.01.019
中图分类号:O152
文献标志码:A
文章编号:1001-8395(2016)01-0107-04
作者简介:郭继东(1965—),男,教授,主要从事群论研究,E-mail:guojd662@163.com
基金项目:新疆维吾尔自治区普通高等学校重点学科基金(2012ZDXK12)
收稿日期:2014-09-27