郭繼東,　任永才,　張志讓

(　　　1. 伊犁師范學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 新疆 伊寧 835000;　2. 四川大學(xué) 數(shù)學(xué)學(xué)院, 四川 成都 610064;

3. 成都信息工程學(xué)院 數(shù)學(xué)學(xué)院, 四川 成都 610225)

?

單群L2(8)的一個(gè)特征性質(zhì)

郭繼東1,任永才2,張志讓3

(1. 伊犁師范學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 新疆 伊寧 835000;2. 四川大學(xué) 數(shù)學(xué)學(xué)院, 四川 成都 610064;

3. 成都信息工程學(xué)院 數(shù)學(xué)學(xué)院, 四川 成都 610225)

摘要：展示單群L2(8)的一個(gè)特征性質(zhì),證明定理:如果有限群G的同階的元素的個(gè)數(shù)組成的集合是{1,63,56,216,168},則G?L2(8).

關(guān)鍵詞：有限群; 單群; 元素的階; 同階元的個(gè)數(shù)

記Md(G):={g∈G|gd=1}.稱有限群G1和G2是同階型的,如果|Md(G1)|=|Md(G2)|,d=1,2,….1987年，J. G. Thompson在給施武杰的一封信中提出了下述問題[1]:

Thompson問題設(shè)G1和G2是同階型的.如果G1是可解的,G2是否可解?

Thompson問題自1990年公開以來一直沒有得到解決.

對(duì)于有限群G,用SOENS(G)表示G中的同階的元素的個(gè)數(shù)組成的集合.例如,SOENS(L2(8))={1,63,56,216,168}.對(duì)于有限群G1和G2,如果G1和G2是同階型的,則顯然有|G1|=|G2|且SOENS(G1)=SOENS(G2).于是,產(chǎn)生了Thompson問題的一個(gè)變種,在這里姑且稱為Thompson猜想:

Thompson猜想設(shè)M是個(gè)有限非Abel單群,G是個(gè)有限群.如果

則G?M.

關(guān)于上述Thompson猜想以及別的類似的Thompson猜想的研究,例如見文獻(xiàn)[2-3].這里感興趣的是,Thompson猜想中的“|G|=|M|”這一條件是否可以去掉?對(duì)某些單群回答是肯定的.例如,令M=L2(8),則|G|=|M|這一條件可以去掉.本文目的就是證實(shí)這一斷言,即證明下述定理:設(shè)G是個(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)是|G|的的全體素因子組成的集合.對(duì)于p∈π(G),用Sylp(G)表示G的全體Sylowp-子群組成的集合,用Gp代表G的一個(gè)Sylowp-子群.用πe(G)表示G的元素的階組成的集合.用nm表示G中的m階元的個(gè)數(shù).此外,對(duì)符號(hào)|作一說明:|G||100表示|G|除盡100.文中其它未說明的符號(hào)都是標(biāo)準(zhǔn)的,例如見文獻(xiàn)[4-5].

1預(yù)備引理

從若干引理開始.下述引理1引自文獻(xiàn)[6].

此外,如果m>2,則φ(m)是偶數(shù)(φ是Euler Phi-函數(shù)).(在后面的論證中將不指明地使用引理1.)

下述引理2(i)是眾所周知的,由引理1和引理2(i)得到引理2(ii)和引理2(iii).

引理 2對(duì)于群G,下述3個(gè)命題成立:

(i)nm=kφ(m),其中k是G的m階循環(huán)子群的個(gè)數(shù)(m階循環(huán)群中的m階元(即生成元)的個(gè)數(shù)是φ(m));

(ii) 如果m>2,則nm是偶數(shù);

(iii) 若nm是奇數(shù),則m=2,G是偶數(shù)階群.

下述引理3是一個(gè)初等結(jié)果[7].

引理 3對(duì)于群G,下述兩個(gè)命題成立:

(i) 設(shè)m是|G|的因子,則m||{g∈G|gm=1}|.

(ii) 如果p是|G|的一個(gè)素因子,則p|(1+np).

下述引理4也是一個(gè)初等結(jié)果(見文獻(xiàn)[7]).

引理 4設(shè)P是個(gè)pn階初等Abel群,p是素?cái)?shù).那么,|Aut(P)|=pn-1(p-1)…(pn-1).

下述引理5是文獻(xiàn)[8]中的定理9.3.1的(4)式的特殊情形.

說G是一個(gè)單K3-群,如果G是一個(gè)單群且|π(G)|=3.

引理 6[9]設(shè)M是一個(gè)單K3-群.那么M與下述群之一同構(gòu)A5、A6、L2(7)、L2(8)、L2(17)、L3(3)、U3(3)和U4(2).

表 1

定義 1設(shè)SOENS(G)={m1=1,m2,…,mt}.令

下述引理7是引理3(ii)的直接推論.

引理 7π(G)?π(SOENS(G)+1).

2主要結(jié)果

現(xiàn)在著手證明本文的主要結(jié)果,即證明下述定理1.注意,SOENS(L2(8))={1,63,56,216,168}.

定理 1如果SOENS(G)={1,63,56,216,168},則G?L2(8).

證明為便于對(duì)照察看,在下面列出2個(gè)表格.第1個(gè)表格(表2)的第1行中的數(shù)是SOENS(G)中的數(shù),而第2行中的各個(gè)乘積是它正上方的數(shù)的素因子分解式.第2個(gè)表格(表3)的第1行中的數(shù)是SOENS(G)+1中的數(shù),而第2行中的各個(gè)乘積是它正上方的數(shù)的素因子分解式.

表 2　SOENS(G)

表 3　SOENS(G)+1

由表3得到

下面分若干步驟完成定理的證明.

(I) |G|≥504(顯然).

(II) 下述事實(shí)成立:(a) 2∈π(G)且n2=63;(b) 如果3∈π(G),則n3=56;(c) 如果7∈π(G),則n7=216.

證明根據(jù)引理2知(a)成立.根據(jù)引理3和表3知(b)和(c)成立.

(III) 下述事實(shí)成立:(a) 13?π(G);(b) 19?π(G);(c) 31?π(G).

(IV)π(G)?{2,3,7}.

證明根據(jù)引理7和前面關(guān)于π(SOENS(G)+1)的等式及(II)和(III)得到π(G)?{2,3,7}.

(V) (根據(jù)(II)(a)可)寫|G|=2n·r,其中n和r是正整數(shù)且(2,r)=1.那么,n≤6.

證明由于φ(25)=24,根據(jù)引理2和表2有25?πe(G).

如果2t∈πe(G),其中t=2,3,4,則由于φ(2t)=2t-1,根據(jù)引理2和表2得到n2t∈{56,216,168}(t=2,3,4).

總上述,得到n≤6.

(VI) 設(shè)|G|=3m·r,其中m和r是正整數(shù)且(3,r)=1.那么,m≤2,并且,如果m=2,則

證明由于φ(35)=2·34,根據(jù)引理2(i)并察看表2可知n35?πe(G).同時(shí),由于φ(3t)=2·3t-1,從表2還看到:如果3t∈πe(G))(t=2,3,4),則n3t∈{216,168}.

假設(shè)m=2.那么,由上一段知道32∈πe(G).于是,G的Sylow 3-子群是32階循環(huán)群.從而,由于n32=168及φ(32)=2·3,根據(jù)引理2得到

所以,根據(jù)(II)(a)和(IV)得到π(G)={2,3,7}.

(VII) 設(shè)|G|=7f·r,其中f和r是正整數(shù)且(7,r)=1.那么,f=1(即|G7|=7),|Syl7(G)|=36=22·32,|G|=2n·32·7.此外,G沒有14階元.

(VIII)G不是2-群.

證明如果G是2-群,則根據(jù)(V)有|G|≤26=64,與(I)矛盾.

(IX)π(G)≠{2,3}.

證明假設(shè)π(G)={2,3}.那么,|G|=2n·3m.根據(jù)(V)和(VI)有n≤6,m≤2.于是,根據(jù)(I)有|G|=26·32,從而根據(jù)(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,根據(jù)引理5知G是非可解的.令K是G的極大可解正規(guī)子群.那么,G/K是非可解的.令N/K是G/K的一個(gè)極小正規(guī)子群.那么,N/K是若干個(gè)同構(gòu)的非Abel的單群的直積(見文獻(xiàn)[10]).于是,N/K顯然是個(gè)單K3-群,從而根據(jù)引理6和表1知:要么N/K?L2(7),要么N/K?L2(8).

2) 設(shè)N/K?L2(8).這時(shí),有L2(8)?N/K≤G/K≤Aut(N/K)=Aut(L2(8)).從而,根據(jù)文獻(xiàn)[11]知道:G/K?L2(8)或G/K?PΓL2(8).于是,由于33||PΓL2(8)|而33除不盡||G|,有G/K?L2(8).從而,|K|=2n-3.

假設(shè)n>3.由于n≤6見(V))且G沒有14階元(見(VII)),根據(jù)引理4和階≤23的群的結(jié)構(gòu)斷定K是8階初等Abel 2-群.于是,由于G/K?L2(8)是單群且G沒有14階元,根據(jù)引理4知道:23·32·7|22·3·7,矛盾.所以,n=3,|K|=1,G=N?L2(8).證畢.

參考文獻(xiàn)

[1] 沈如林,施武杰. 關(guān)于Thompson問題[J]. 中國(guó)科學(xué):數(shù)學(xué),2010,40(3):533-537.

[2] 邵長(zhǎng)國(guó),施武杰,蔣琴會(huì). 單K3-群的一個(gè)特征性質(zhì)[J]. 數(shù)學(xué)進(jìn)展,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]. 數(shù)學(xué)年刊,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

中圖分類號(hào)：O152

文獻(xiàn)標(biāo)志碼：A

文章編號(hào)：1001-8395(2016)01-0107-04

作者簡(jiǎn)介：郭繼東(1965—),男,教授,主要從事群論研究,E-mail:guojd662@163.com

基金項(xiàng)目：新疆維吾爾自治區(qū)普通高等學(xué)校重點(diǎn)學(xué)科基金(2012ZDXK12)

收稿日期:2014-09-27