藍(lán)婷 凌波

(云南民族大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,昆明,650504)

1 引言

本文涉及到的圖都是有限的、連通的、簡(jiǎn)單的和無(wú)向的.對(duì)于一個(gè)圖Γ,我們分別用VΓ,EΓ,AΓ和AutΓ表示其頂點(diǎn)集、邊集、弧集和自同構(gòu)群.若AutΓ分別傳遞作用在VΓ,EΓ和AΓ上,則分別稱圖Γ是點(diǎn)傳遞的、邊傳遞的和弧傳遞的.對(duì)于圖Γ的一個(gè)頂點(diǎn)序列(α0,α1,···,αs),如果滿足{αi?1,αi}∈EΓ(1≤i≤s)和αi?1?=αi+1,則稱為圖Γ的一條s?弧.若AutΓ傳遞作用在圖Γ的s?弧集上,則稱Γ為s?弧傳遞圖.特別地,0?弧傳遞稱為點(diǎn)傳遞,1?弧傳遞稱為弧傳遞.若圖Γ是s?弧傳遞(s≥1)但不是(s+1)?弧傳遞的,則稱Γ是s?傳遞圖.如果AutΓ在AΓ上作用正則,則稱圖Γ是1?弧正則的.

小度數(shù)弧傳遞圖的分類是代數(shù)圖論中的熱門問(wèn)題.例如,文獻(xiàn)[1-3]分別給出了3度、5度和7度的4p階對(duì)稱圖的分類.本文將進(jìn)一步分類11度的4p階對(duì)稱圖.

2 預(yù)備知識(shí)

正規(guī)商圖是研究素?cái)?shù)度弧傳遞圖的重要方法.設(shè)Γ是一個(gè)G?點(diǎn)傳遞圖,N(N?=1)是G的非傳遞正規(guī)子群,用VΓN表示N?軌道集合.定義正規(guī)商圖ΓN,其點(diǎn)集為VΓN,兩頂點(diǎn)B,C相鄰當(dāng)且僅當(dāng)B中存在點(diǎn)α,C中存在點(diǎn)β,使得{α,β}∈EΓ.如果Γ和ΓN有相同的度數(shù),則稱Γ是ΓN的正規(guī)覆蓋.特別地,如果圖Γ是連通的素?cái)?shù)度的對(duì)稱圖,則根據(jù)文獻(xiàn)[4]或者文獻(xiàn)[5],可得到下面的引理:

引理1([4]或[5])設(shè)p為素?cái)?shù)，Γ是連通的p度(G,s)?弧傳遞圖,其中G≤AutΓ和s≥1.如果N是G的正規(guī)子群且在VΓ上至少有三個(gè)軌道,則N在VΓ上作用半正則且正規(guī)商圖ΓN是連通的p度(G/N,s)?弧傳遞圖.

根據(jù)文獻(xiàn)[6]的Theorem 2.1和文獻(xiàn)[7]的Corollary 1.3,我們可以知道11度弧傳遞圖頂點(diǎn)穩(wěn)定子群的結(jié)構(gòu).

引理2([6],[7])設(shè)圖Γ是連通的11度(G,s)?傳遞圖,其中G≤AutΓ和s≥1.令α∈VΓ,則s≤3且下列之一成立：

(1)若Gα可解,則|Gα||1100.進(jìn)一步有,(s,Gα)在下表之中.

?

(2)若Gα不可解,則|Gα||216·38·54·72·11.進(jìn)一步有,(s,Gα)在下表之中.

?

根據(jù)文獻(xiàn)[8],可知兩倍素?cái)?shù)階素?cái)?shù)度對(duì)稱圖的分類.

引理3([8])設(shè)Σ是連通的奇素?cái)?shù)p度2r階對(duì)稱圖,其中r是素?cái)?shù).則下列之一成立.

(i)(r,p)=(7,3),AutΣ～=PGL(2,7)；

(ii)(r,p)=(11,5),AutΣ～=PGL(2,11)；

(iii)(r,p)?=(7,3)和(11,5),AutΣ～=D2r:Zp.

根據(jù)文獻(xiàn)[9,p.134-136],通過(guò)檢驗(yàn)非交換單群的階,有下面的引理.

引理4([9])設(shè)T是一個(gè)非交換單群,且滿足44p||T|和|T||218·38·54·72·11·p,其中p是一個(gè)奇素?cái)?shù),則T在表1中.

表1 非交換單群T

證明根據(jù)非交換單群的分類,T有三種情況：零散單群、n級(jí)交錯(cuò)群和Lie型單群.

若T是零散單群,則直接檢驗(yàn)零散單群的階可知,滿足條件的零散單群有：M11,M12,M22,M23,M24,J1,HS,McL,Suz,Co2,Co3.

若T是n級(jí)交錯(cuò)群,則由引理?xiàng)l件知|T|至多有六個(gè)素因子且11||T|,從而得到,T～=An,11≤n≤16.

若T是Lie型單群,則根據(jù)Lie型單群表可知Lie型單群有：PSL(d,rf)(d≥2),PSU(d,rf)(d≥3),PSp(2d,rf)(d≥2),P?+(2d,rf)(d≥4),P??(2d,rf)(d≥4),P?(2d+1,rf)(d≥3),G2(rf)(d>4),F4(rf),E6(rf),E7(rf),E8(rf),Sz(22f+1),Ree(32f+1),2F4(22f+1),3D4(rf),2E6(rf),其中d和f是大于等于0的正整數(shù).根據(jù)引理?xiàng)l件有,219,310,56,74和113不整除T的階,從而知F4(rf),E6(rf),E7(rf),E8(rf)和2E6(rf)不符合條件.下面將對(duì)剩下的Lie型單群逐一討論.

假設(shè)T=PSL(d,rf),其中d≥2.根據(jù)PSL(d,rf)的階,得到rfd(d?1)/2整除|T|,再由引理的條件,進(jìn)一步我們推出2≤d≤6.

當(dāng)d=2時(shí),T=PSL(2,rf),那么rf整除|T|.此時(shí),若r>11,根據(jù)PSL(2,rf)的階知這不可能.若r=11,有11f整除|T|,又113不整除T的階,故f≤2.這時(shí)T可能為PSL(2,11)和PSL(2,112).檢驗(yàn)PSL(2,11)和PSL(2,112)的階,可知PSL(2,112)不符合條件.若r<11,那么r∈{2,3,5,7}.當(dāng)r=2時(shí),有2f整除|T|,又因?yàn)?19不整除|T|,可得f≤18,此時(shí)T=PSL(2,2f)(f≤18).逐一驗(yàn)算它們的階,我們得到只有PSL(2,25)符合條件.類似地分析,我們可將r∈{3,5,7}的情況排除掉.

當(dāng)d=3時(shí),T=PSL(3,rf).根據(jù)PSL(3,rf)的階,我們得到r3f整除|T|.由引理?xiàng)l件知,r3f(r≥11)不能整除|T|.因此r∈{2,3,5,7}.若r=2,則有23f整除|T|.又因?yàn)?19不整除|T|,因此f≤6.此時(shí)T=PSL(3,2f)(f≤6).逐一驗(yàn)算它們的階,知無(wú)一滿足條件.若p=3,則有33f整除|T|,310不整除|T|,可得到f≤3.此時(shí)T可能為PSL(3,3),PSL(3,9)和PSL(3,27).檢驗(yàn)它們的階,均不滿足條件.同理可將r∈{5,7}的情況排除掉.

當(dāng)d=4時(shí),T=PSL(4,rf).根據(jù)PSL(4,rf)的階,有r6f整除|T|.注意到56,74,113和r2(r>11)不整除|T|,因此有r∈{2,3}.當(dāng)r=2時(shí),26f整除|T|,又219不整除|T|,進(jìn)一步可得到f≤3,此時(shí)T=PSL(4,2f)(f≤3).再檢驗(yàn)這三個(gè)群的階數(shù),可知均不滿足條件.當(dāng)r=3時(shí),36f整除|T|,又310不整除|T|,得到f=1.檢驗(yàn)PSL(4,3)的階,知PSL(4,3)不滿足條件.

當(dāng)d=5時(shí),T=PSL(5,pf).根據(jù)PSL(5,rf)的階,有r10f整除|T|.注意到310,56,74,113和r2(r>11)不整除|T|,因此可知只有r=2這種情況.進(jìn)一步有,210f整除|T|,又219?|T|,故f=1,此時(shí)T=PSL(5,2).檢驗(yàn)PSL(5,2)的階,知其不滿足條件.

當(dāng)d=6時(shí),有T=PSL(6,rf),r15f整除|T|.注意到310,56,74,113和r2(r>11)不整除|T|,故r=2.又由215f整除|T|和219?|T|,可得f=1.此時(shí)T可能為PSL(6,2),但由它的階知其不滿足條件.

假設(shè)T=PSU(d,rf),其中d≥3.根據(jù)PSU(d,rf)的階,得到rfd(d?1)/2整除T的階.又由引理?xiàng)l件有219,310,56,74,113和r2(r>11)不整除|T|,故3≤d≤6.

當(dāng)d=3時(shí),T=PSU(3,rf).根據(jù)PSU(3,rf)的階,有r3f整除|T|.注意到113和r2(r>11)不整除|T|,有r∈{2,3,5,7}.當(dāng)r=2時(shí),23f整除|T|,又219||T|,我們可得f≤6.此時(shí)T=PSU(3,2f)(f≤6).檢驗(yàn)它們的階,知無(wú)一滿足條件.

當(dāng)d=4時(shí),有T=PSU(4,rf),r6f整除|T|.又因?yàn)?6,74,113和r2(r>11)不整除|T|,我們有r∈{2,3}.當(dāng)r=2時(shí),26f整除|T|,又219不整除|T|,可得f≤3,故T可能為PSU(4,2),PSU(4,4),PSU(4,8).又因?yàn)?1整除|T|,通過(guò)計(jì)算階可得PSU(4,2),PSU(4,4),PSU(4,8)都不滿足條件.

當(dāng)d=5時(shí),有T=PSU(5,rf),r10f整除|T|.又因?yàn)?10,56,74,113和r2(r>11)不整除|T|,故r=2.進(jìn)而有210f整除|T|,f=1,T=PSU(5,2).檢驗(yàn)PSU(5,2)的階,知PSU(5,2)滿足條件.

當(dāng)d=6時(shí),T=PSU(6,rf).由PSU(6,rf)的階,有r15f整除|T|.又因?yàn)?10,56,74,113和r2(r>11)不整除|T|,故r=2,即T=PSU(6,2f).進(jìn)而根據(jù)PSU(6,2f)的階,有215f整除|T|,f=1,T=PSU(6,2).檢驗(yàn)PSU(6,2)的階,知PSU(6,2)滿足條件.

假設(shè)T=PSp(2d,rf),其中d≥2.根據(jù)PSp(2d,rf)的階,有rfd2整除|T|,進(jìn)而可得2≤d≤4.

當(dāng)d=2時(shí),有T=PSp(4,rf),r4f整除|T|.又因?yàn)?4,113和r2(r>11)不整除|T|,我們有r∈{2,3,5}.當(dāng)r=2時(shí),24f整除|T|,又219?|T|,可得f≤4.此時(shí)T=PSp(4,2f)(f≤4),但PSp(4,2f)(f≤4)的階不被11整除,故不滿足條件.當(dāng)r=3時(shí),T=PSp(4,3f),根據(jù)其階有,34f整除|T|.又因?yàn)?10不整除|T|,故可得f≤2.此時(shí)T=PSp(4,3f)(f≤2).注意到11整除|T|,但|PSp(4,3)|和|PSp(4,9)|不被11整除,故而排除掉.當(dāng)r=5時(shí),54f整除|T|,又因?yàn)?6不整除|T|,從而得到f=1,進(jìn)而有T=PSp(4,5).檢驗(yàn)PSp(4,5)的階,知|PSp(4,5)|不被11整除,因此不符合條件.

當(dāng)d=3時(shí),T=PSp(6,rf).根據(jù)PSp(6,rf)的階,有r9f整除|T|.又因?yàn)?6,74,113和r2(r>11)不整除|T|,我們有r∈{2,3}.當(dāng)r=2時(shí),29f整除|T|,又219?|T|,可得f≤2,T=PSp(6,2f)(f≤2).檢驗(yàn)它們的階,知|PSp(6,2)|和|PSp(6,4)|不被11整除,故而不滿足引理?xiàng)l件.當(dāng)r=3時(shí),T=PSp(6,3f),39f整除|T|.又310?|T|,從而得到f=1.由PSp(6,2)的階知,|PSp(6,2)|不被11整除,不滿足引理?xiàng)l件.

當(dāng)d=4時(shí),T=PSp(8,rf),r16f整除|T|.又因?yàn)?10,56,74,113和r2(r>11)不整除|T|,故r=2.進(jìn)一步有,216f整除|T|,但219不整除|T|,因而可得f=1,T=PSp(8,2).由PSp(8,2)的階知,|PSp(8,2)|不被11整除,不滿足條件.

假設(shè)T=P?+(2d,rf),其中d≥4.則可得到rfd(d?1)整除|T|.又因?yàn)?19,310,56,74,113和r2(r>11)不整除|T|,得到d=4,r=2和f=1,即T=P?+(8,2).但是P?+(8,2)的階不被11整除,因而不滿足條件.

假設(shè)T=P??(2d,rf),其中d≥4.則可得到rfd(d?1)整除|T|.又因?yàn)?19,310,56,74,113和r2(r>11)不整除|T|,得到d=4,r=2和f=1,即T=P??(8,2).但是P??(8,2)的階不被11整除,因而不滿足條件.

假設(shè)T=P?(2d+1,rf),其中d≥3.則可得到rfd2整除|T|.又因?yàn)?19,310,56,74,113和r2(r>11)不整除|T|,得到d∈{3,4}和r∈{2,3}.當(dāng)d=3時(shí),有T=P?(7,rf),r9f整除|T|,從而T=P?(7,2f)(f≤2)和P?(7,3).但P?(7,2f)(f≤2)和P?(7,3)的階均不被11整除,因此不滿足條件.當(dāng)d=4時(shí),T=P?(9,rf),又因?yàn)?19和310不整除T的階,故有r=2和f=1,T=P?(9,2).但11不整除P?(9,2)的階,故不滿足條件.

假設(shè)T=G2(rf),其中rf>2.由G2(rf)的階,有r6f整除|T|.根據(jù)219,310,56,74,113和r2(r>11)不整除|T|,推出r∈{2,3}.當(dāng)r=2時(shí),2≤f≤3,T為G2(4)或G2(8).但它們的階均不被11整除,不滿足條件.當(dāng)r=3時(shí),有36f整除|T|,又310不整除|T|,推出f=1,T=G2(3).檢驗(yàn)G2(3)的階,知其不滿足條件.

假設(shè)T=Sz(22f+1),則有22(2f+1)整除|T|.又因?yàn)?19不整除|T|,故f≤4,從而T為Sz(2),Sz(8),Sz(32),Sz(128)或Sz(512).但這些群的階均不被11整除,不滿足條件.

假設(shè)T=Ree(32f+1).根據(jù)Ree(32f+1)的階,有33(2f+1)整除|T|.又310不整除|T|,故f∈{0,1},從而T為Ree(3)或Ree(33).但它們的階均不被11整除,故不滿足條件.

假設(shè)T=2F4(22f+1),則有212(2f+1)整除T的階.又因?yàn)?19不整除|T|,因而T只有2F4(2).但|2F4(2)|不被11整除,故不滿足條件.

假設(shè)T=3D4(rf),則有r12f整除T的階.又因?yàn)?19,310,56,74,113和r2(r>11)不整除|T|,故T只有2D4(2).但2D4(2)的階不被11整除,故不滿足條件.

3 主要結(jié)果

定理1設(shè)Γ是連通的11度4p階對(duì)稱圖,其中p是素?cái)?shù).則?！?K12.

證明若p=2,則Γ為8階11度對(duì)稱圖,這顯然不可能.若p=3,則Γ為12階11度對(duì)稱圖,即有?！?K12.下面討論p>3的情況.

設(shè)A=AutΓ,N是A的極小正規(guī)子群,α∈VΓ.由引理2,|Aα|整除216·38·54·72·11,因此有|A|整除218·38·54·72·11p,其中p是素?cái)?shù).

假設(shè)N是可解的,則N是一個(gè)初等交換群.令其中r是素?cái)?shù)和d≥1是一個(gè)正整數(shù).顯然N在VΓ上至少有3個(gè)軌道,由引理1,知N半正則,進(jìn)而得到|N|=|Zr|d整除4p,因此如果N～=Zp,由引理1知,正規(guī)商圖ΓN是4階的11度A/N?弧傳遞圖,這顯然不可能.如果由引理1知,正規(guī)商圖ΓN是p階的11度A/N?弧傳遞圖.注意到奇數(shù)度對(duì)稱圖的階數(shù)是偶數(shù),故而矛盾.因此N～=Z2,由引理1知,正規(guī)商圖ΓN是2p階11度A/N?弧傳遞圖,其中A/N≤AutΓN.由引理3,有或CD2p.若則Γ是K11,11的一個(gè)正規(guī)Z2?覆蓋,根據(jù)文獻(xiàn)[10],知這樣的覆蓋圖不存在.若又因?yàn)棣為A/N?弧傳遞圖,有11·2p||A/N|,進(jìn)而從而Γ是1-弧正則圖.由文獻(xiàn)[11]知,該圖不存在.

因此N是不可解的.設(shè)N=Tm,其中T是非交換單群且m是大于等于1的正整數(shù).接下來(lái),我們證明N在VΓ上至多有兩個(gè)軌道,N不是半正則的且44||N|,以及N是A的唯一的極小正規(guī)子群且m=1.

如果N半正則,那么|N|=|T|m整除4p.根據(jù)Burnside定理,即兩個(gè)素因子階的群可解,我們有N是可解的,矛盾.于是N不是半正則的,即Nα?=1.因此由引理1可推出N在VΓ上至多有兩個(gè)軌道.因?yàn)棣＿B通和N?A,我們得到從而11||Nα|.注意到N在VΓ上至多有兩個(gè)軌道,有|N|=2p|Nα|或4p|Nα|,故p||N|.因此44p||N|,進(jìn)而,44p||T|和(44p)m||N|.因?yàn)?/p>

我們有(4p)m?1·11m||Aα|.由引理2知,112?|Aα|,因此m=1.

令C=CA(N).假設(shè)C?=1.因?yàn)锳無(wú)可解正規(guī)子群,因而C是不可解的.若Cα=1,則|C|整除4p,得到C是可解的,從而矛盾,故Cα?=1.又因?yàn)镃?A,由連通性我們得到進(jìn)一步有11||Cα|.由C∩N=1,有C×N?A,進(jìn)而,這與引理2矛盾.因此C=1,這意味著N是A的唯一的極小正規(guī)子群.

上面我們證明了N在VΓ上至多有兩個(gè)軌道,N=T是一個(gè)非交換單群且44p||N|.此外,由引理2知|A|=|VΓ||Aα||218·38·54·72·11·p,故|N||218·38·54·72·11·p.因此N的可能性由引理4決定,并由表1給出.注意到N在VΓ上至多有兩個(gè)軌道,我們有|N:Nα|=2p或4p.

假設(shè)N～=M11,則|N|=24·32·5·11.注意到11||Nα|和假設(shè)條件p>3,我們有p=5.根據(jù)Atlas[12]知,M11極大子群的指數(shù)為11,12,55,66,165.因此M11沒(méi)有指數(shù)為2p=10或4p=20的子群,矛盾.對(duì)于表1中剩余的單群,同理,根據(jù)Atlas[12]或Magma計(jì)算,可以知道N沒(méi)有指數(shù)為2p或4p的子群,矛盾.