王 堅(jiān)，江東林，胡嘯晗

(1.龍巖學(xué)院 福建龍巖 364000；2.浙江樹人大學(xué) 浙江杭州 310015)

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

設(shè)G為有限群，C(G)為G的循環(huán)子群的集合。記c(G)為G的循環(huán)子群的個(gè)數(shù)，d(G)為G的階的因子個(gè)數(shù)。眾所周知，c(G)≤|G|，等號(hào)成立當(dāng)且僅當(dāng)G為初等交換2-群，其中|G|為G的階。而c(G)也有下限，文獻(xiàn)[1]中證明了c(G)≥d(G)，等號(hào)成立當(dāng)且僅當(dāng)G為循環(huán)群。最近文獻(xiàn)[2]中給出了滿足c(G)=|G|-1的G的結(jié)構(gòu)。隨后文獻(xiàn)[3]給出了滿足c(G)=|G|-Δ，Δ=2，3，4，5時(shí)G的結(jié)構(gòu)。

當(dāng)c(G)接近d(G)時(shí)，這方面的結(jié)果較少，本文給出滿足c(G)=d(G)+1的paqb階群的完全分類。文中出現(xiàn)的術(shù)語(yǔ)以及符號(hào)都是標(biāo)準(zhǔn)的，具體可參見(jiàn)文獻(xiàn)[4-5]。

為后續(xù)討論方便，將文獻(xiàn)[1]的主定理作成引理，同時(shí)給出階互素的兩個(gè)有限群的直積的循環(huán)子群個(gè)數(shù)的一個(gè)結(jié)果。

引理1[1]設(shè)G為n階有限群，則G的循環(huán)子群個(gè)數(shù)大于等于n的因子個(gè)數(shù)，此外，G的循環(huán)子群個(gè)數(shù)等于n的因子個(gè)數(shù)當(dāng)且僅當(dāng)G循環(huán)。

引理2 設(shè)U與V是階互素的兩個(gè)有限群，則c(U×V)=c(U)×c(V)。

證明不妨設(shè)U為一個(gè)π-群，對(duì)任意的x∈U×V，則x=xπ·xπ′，其中xπ∈U，xπ′∈V。進(jìn)一步可得〈x〉=〈xπ〉·〈xπ′〉。反之，U的任意一個(gè)循環(huán)子群與V的任意一個(gè)循環(huán)子群之積也是U×V的循環(huán)子群。結(jié)論成立。

2 主要結(jié)果

命題設(shè)G為paqb階群，H是G的一個(gè)次正規(guī)子群，則

c(G)-d(G)≥c(H)-d(H)。

證明根據(jù)遞歸，不妨設(shè)H是G的一個(gè)極大正規(guī)子群，將不等式化為c(G)-c(H)≥d(G)-d(H)。由于paqb階群可解，此時(shí)H是G的一個(gè)極大子群，不妨設(shè)它在G中的指數(shù)是p，進(jìn)一步可得d(G)-d(H)=b+1。

若G為p群，d(G)-d(H)=1，結(jié)論顯然成立。因此可設(shè)P，Q分別為G的西羅p-子群，q-子群。根據(jù)Frattini論斷，G=HNG(Q)=HNP(Q)。取不屬于H的NP(Q)的元素x，則G=H〈x〉，xp∈H?！磝〉的Q-共軛類長(zhǎng)為|Q∶NQ(〈x〉)|。根據(jù)引理2，NQ(〈x〉)×〈x〉不包含于H的循環(huán)子群的個(gè)數(shù)為c(NQ(〈x〉))。

(i)Q=NQ(〈x〉)。c(G)-c(H)≥c(Q)，由引理1，c(Q)≥d(Q)=b+1，結(jié)論成立。

(ii)|Q∶NQ(〈x〉)|=qi，i≥1。

c(G)-c(H)≥qi-1+c(NQ(〈x〉))≥qi-1+b-i+1≥b+1。

證畢。

定理設(shè)G為paqb階群，則c(G)=d(G)+1當(dāng)且僅當(dāng)G同構(gòu)于C2×C2，Q8與C3∶C2m之一，其中C3∶C2m是3階群與循環(huán)2-群的半直積。

證明先證充分性。顯然C2×C2，Q8滿足c(G)=d(G)+1。因?yàn)镃3∶C2m含有唯一的一個(gè)3×2m-1階循環(huán)的極大子群，并且它還含有3個(gè)循環(huán)的西羅2-子群，因此它滿足結(jié)論。

再證必要性。設(shè)c(G)=d(G)+1。

(i)G為p-群。斷言G的極大子群循環(huán)，否則由命題和引理1，存在極大子群M，c(M)=d(M)+1。由極小階反例，M同構(gòu)于C2×C2，Q8之一，而以C2×C2，Q8作為極大子群的2-群都不滿足定理?xiàng)l件，因此G的極大子群循環(huán)。經(jīng)過(guò)簡(jiǎn)單計(jì)算，交換p-群滿足條件的只能是C2×C2，對(duì)于非交換p-群，由文獻(xiàn)[4]的定理1.2，G同構(gòu)于Q8。

(ii)a>0，b>0。沿用命題證明中的記號(hào)，G=H〈x〉，xp∈H，x∈NP(Q)。斷言此時(shí)H循環(huán)，G超可解。

如若不然，根據(jù)命題和引理1，c(H)=d(H)+1，由極小階反例可得，H同構(gòu)于C2×C2，Q8與C3∶C2m三者之一。經(jīng)過(guò)簡(jiǎn)單的驗(yàn)證可知，當(dāng)H同構(gòu)于C2×C2或H同構(gòu)于Q8時(shí)，G不滿足定理?xiàng)l件，因此H?C3∶C2m。此時(shí)G為超可解群且它的西羅3-子群正規(guī)。

若|G∶H|=3，則p=3，由命題3與極小階反例可知G?C9∶C2m。G的西羅2-子群包含于H，個(gè)數(shù)是3，但它的西羅3-子群忠實(shí)且傳遞地共軛作用在所有西羅2-子群構(gòu)成的集合上，這與G的西羅2-子群個(gè)數(shù)矛盾。

若|G∶H|=2，則p=2，G=Q∶P，Q?C3。根據(jù)N/C定理，G/CG(Q)?C2。由命題、引理1和極小階反例可知CG(Q)循環(huán)，它含有的循環(huán)子群個(gè)數(shù)為2m+2。H含有3個(gè)循環(huán)的2m階群，但G的西羅2-子群P含有除這2m+5個(gè)以外的循環(huán)子群，這與條件c(G)=d(G)+1=2(m+2)+1=2m+5矛盾。

(iii)|Q∶NQ(〈x〉)|=q。

因?yàn)镠循環(huán)，所以c(H)=a(b+1)，由條件可知

c(G)=(a+1)(b+1)+1，c(G)-c(H)=b+2。

由條件及引理1、2可知G非冪零，進(jìn)一步得出Q真包含NQ(〈x〉)。若|Q∶NQ(〈x〉)|≥q2，則b+2≥q2-1+b-1(一部分循環(huán)子群與〈x〉共軛，一部分循環(huán)子群將〈x〉作為直因子)，進(jìn)一步得出q=2。因?yàn)镚是超可解群，P?G，這與G非冪零矛盾。

(iv)最終結(jié)論。

|Q∶NQ(〈x〉)|=q，c(G)-c(H)=b+2≥b-1+q，得出q≤3。由上一段的證明可知q=3，p=2。不屬于C(H)的子群剛好由與〈x〉共軛的子群和NQ(〈x〉)×〈x〉的部分循環(huán)子群構(gòu)成，且不屬于C(H)的循環(huán)2-群的個(gè)數(shù)剛好是3，從而|G∶NG(〈x〉)|=3。而P=〈x〉(P∩H)，NG(〈x〉)?NG(P)，因?yàn)镚非冪零，故NG(〈x〉)=NG(P)，G的西羅2-子群的個(gè)數(shù)是3。因此P中不屬于C(H)的循環(huán)子群只能是〈x〉。設(shè)P∩H=〈y〉，則〈xy〉=〈x〉，推出P=〈x〉。設(shè)G=〈z〉∶〈x〉，其中Q=〈z〉。由于x2∈CG(z)，zx=z-1，且z3∈CG(x)，得出z為3階元，結(jié)論成立。

后記命題中的不等式由曲海鵬教授給出，在此表示感謝。同時(shí)他還猜測(cè)命題對(duì)任意有限群或可解群G、H是G的任意子群的情況是成立的。筆者猜測(cè)，去掉定理中的條件G為paqb階群，結(jié)論依然成立。