陳松良, 黎先華

(1. 貴州師范學(xué)院 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院, 貴陽(yáng) 550018; 2. 蘇州大學(xué) 數(shù)學(xué)科學(xué)學(xué)院, 江蘇 蘇州 215006)

對(duì)給定階數(shù)的有限群或?qū)哂心撤N性質(zhì)的有限群進(jìn)行同構(gòu)分類(lèi), 是有限群的研究熱點(diǎn)之一. 文獻(xiàn)[1]通過(guò)分析無(wú)三次因子階群的結(jié)構(gòu)特點(diǎn), 給出了在同構(gòu)意義上構(gòu)造這類(lèi)群的一種算法; 文獻(xiàn)[2]對(duì)無(wú)四次因子階群的結(jié)構(gòu)信息給出了若干描述和刻畫(huà); 文獻(xiàn)[3]討論了無(wú)四次因子階群的2-弧傳遞表示. 設(shè)p,q是不同的素?cái)?shù), 文獻(xiàn)[4]確定了所有p3q階群的構(gòu)造； 文獻(xiàn)[5]確定了所有p3q2階群的構(gòu)造. 設(shè)p是奇素?cái)?shù), 文獻(xiàn)[6]確定了23p3階群的構(gòu)造(p≠3,7). 設(shè)p,q是不同的奇素?cái)?shù)且p>q, 對(duì)于p3q3階群G的同構(gòu)分類(lèi), 除當(dāng)Sylowq-子群是指數(shù)為q2的非交換q-群時(shí)G的同構(gòu)分類(lèi)尚未完成外, 其余情形的p3q3階群的完全分類(lèi)均已得到[7-14]. 本文考慮p3q3階群的完全分類(lèi), 主要結(jié)果如下.

定理1設(shè)p,q為奇素?cái)?shù), 且p>q,G是p3q3階群. 如果G的Sylowq-子群是指數(shù)為q2的非交換q-群, 則有:

1) 如果(q,(p3-1)(p+1))=1, 則G恰有5種不同構(gòu)的類(lèi)型;

2) 如果(q,p+1)=q(此時(shí)必有(q,p3-1)=1), 則G恰有(q+3)種不同構(gòu)的類(lèi)型;

4) 如果(q,p-1)=q, 則：

① 當(dāng)q=3時(shí),G有83種不同構(gòu)的類(lèi)型；

(i)P1=〈a〉, |a|=p3;

(ii)P2=〈a〉×〈b〉, |a|=p2, |b|=p;

(iii)P3=〈a〉×〈b〉×〈c〉, |a|=|b|=|c|=p;

引理1G的Sylowp-子群必是G的正規(guī)子群.

證明： 易見(jiàn)Q中恰有(q2-q)q個(gè)階為q2的元和(q2-1)個(gè)階為q的元, 又每個(gè)q2階循環(huán)子群中恰有(q-1)個(gè)階為q的元, 從而Q的自同構(gòu)群Aut(Q)的階是

(q2-q)q((q2-1)-(q-1))=q3(q-1)2.

如果G的Sylowq-子群Q是正規(guī)子群, 則G的Sylowp-子群P在Q上的作用是平凡的, 從而P?G. 如果Q不正規(guī), 則當(dāng)1q, 因此PcharPOq(G), 于是P?G. 如果Oq(G)=1, 則因?yàn)镚是可解群, 所以O(shè)p(G)>1. 此時(shí)若P不正規(guī), 則G/Op(G)的Sylowp-子群是不正規(guī)的. 由Sylow定理可知,G/Op(G)的Sylowp-子群的個(gè)數(shù)為q3個(gè), 從而P/Op(G)是自正規(guī)的交換p-群, 再由Burnside定理知,G/Op(G)的Sylowq-子群QOp(G)/Op(G)是正規(guī)的. 又QOp(G)/Op(G)?Q, 而p不整除Aut(Q)的階, 所以P/Op(G)平凡作用在Q上, 表明P/Op(G)?G/Op(G), 從而P?G, 矛盾. 證畢.

引理2設(shè)G是p3q3階群, 其Sylowq-子群為指數(shù)是q2的非交換群Q, 而Sylowp-子群是循環(huán)群P1. 設(shè)σ是模p3的一個(gè)原根, 若(q,p-1)=q, 則令r=σp2(p-1)/q, 從而有:

1) 當(dāng)(q,p-1)=1時(shí),G恰有1種不同構(gòu)的類(lèi)型G=P1×Q；

2) 當(dāng)(q,p-1)=q時(shí),G有(q+1)種不同構(gòu)的類(lèi)型, 即除了構(gòu)造G=P1×Q外, 還有下列形如

(1)

的1種構(gòu)造及形如

(2)

的(q-1)種構(gòu)造.

證明： 由文獻(xiàn)[7]中的引理4即得.

引理3設(shè)G是p3q3階群, 其Sylowq-子群為指數(shù)是q2的非交換群Q, 而Sylowp-子群是交換群P2. 設(shè)σ是模p2與模p的一個(gè)公共原根, 若(q,p-1)=q, 則令

s=σp(p-1)/q,t=σ(p-1)/q,

從而有:

1) 當(dāng)(q,p-1)=1時(shí),G恰有1種不同構(gòu)的類(lèi)型P2×Q；

2) 當(dāng)(q,p-1)=q時(shí),G有(2q2+q)種不同構(gòu)的類(lèi)型, 其中除了構(gòu)造P2×Q外, 還有如下構(gòu)造：

其中形如式(4),(6)的構(gòu)造各1種, 形如式(3),(5),(7),(8),(10)的構(gòu)造各(q-1)種, 形如式(9),(11)的構(gòu)造各(q-1)2種.

證明： 因?yàn)镚的Sylowp-子群是正規(guī)子群, 此時(shí)不難證明G是超可解的, 而且可設(shè)〈a〉與〈b〉都是Q-不變的. 因?yàn)锳ut(〈a〉)與Aut(〈b〉)分別是p(p-1),(p-1)階循環(huán)群.

1) 當(dāng)(q,p-1)=1時(shí),G必有構(gòu)造P2×Q.

2) 當(dāng)(q,p-1)=q時(shí),G除構(gòu)造P2×Q外還有其他構(gòu)造. 而由于

Q/CQ(a)Aut(〈a〉),Q/CQ(b)Aut(〈b〉),

所以CQ(a)與CQ(b)或?yàn)镼或?yàn)镼的q2階正規(guī)子群. 又易見(jiàn)Q的q2階正規(guī)子群中有一個(gè)初等交換群〈xq,y〉與q個(gè)循環(huán)群〈xyk〉, 0≤k≤q-1, 所以有:

① 當(dāng)CQ(a)=Q而CQ(b)≠Q(mào)時(shí), 如果CQ(b)是q2階循環(huán)子群, 則不妨設(shè)CQ(b)=〈x〉, 于是ax=ay=a,bx=b, 且可設(shè)by=bti(0

② 當(dāng)CQ(b)=Q而CQ(a)≠Q(mào)時(shí), 如果CQ(a)是q2階循環(huán)子群, 則不妨設(shè)CQ(a)=〈x〉, 于是ax=a,bx=by=b, 且可設(shè)ay=asi(0

③ 當(dāng)CQ(a)與CQ(b)都不是Q且CQ(a)≠CQ(b)時(shí), 由于Q中只有一個(gè)q2階初等交換子群〈xq,y〉, 但有q個(gè)不同的q2階循環(huán)子群〈xyk〉(k=0,1,…,q-1), 所以如果CQ(a)=〈xq,y〉而CQ(b)=〈xyk〉, 則必有ay=a且可設(shè)ax=as,by=bti(0

所以當(dāng)把xyk換回為x時(shí)可得G的(q-1)種形如式(7)的構(gòu)造. 如果CQ(a)=〈xyk〉而CQ(b)=〈xq,y〉, 則必有by=b且可設(shè)bx=bt,ay=asi(0

④ 當(dāng)CQ(a)=CQ(b)≠Q(mào),CQ(a)=CQ(b)=〈xq,y〉時(shí), 有ay=a,by=b, 且可設(shè)ax=as(否則, 只要用x的適當(dāng)方冪代替x即可),bx=bti, 其中0

引理4設(shè)G是p3q3階群, 其Sylowp-子群為p3階初等交換群P3, 而Sylowq-子群為指數(shù)是q2的非交換群Q. 令σ是模p的一個(gè)原根, 若(q,p-1)=q, 則令t=σ(p-1)/q, 從而有：

1) 當(dāng)(q,(p3-1)(p+1))=1時(shí),G只有1種不同構(gòu)的類(lèi)型, 即P3×Q;

2) 當(dāng)(q,p-1)=q時(shí), 有:

① 如果q=3, 則G有39種不同構(gòu)的類(lèi)型；

證明: 參見(jiàn)文獻(xiàn)[8]中定理1.

引理5設(shè)G是p3q3階群, 其Sylowp-子群為指數(shù)是p2的非交換群P4, 而Sylowq-子群為指數(shù)是q2的非交換群Q. 令σ是模p2與模p的一個(gè)公共原根, 若q|(p-1), 則令s=σp(p-1)/q,t=σ(p-1)/q, 從而有：

1) 當(dāng)(p-1,q)=1時(shí),G僅有構(gòu)造G?P4×Q；

2) 當(dāng)(p-1,q)=q時(shí),G有(q+1)種互不同構(gòu)的構(gòu)造, 除P4×Q外, 還有形如

(12)

的1種構(gòu)造及形如

(13)

的(q-1)種構(gòu)造.

證明： 由引理1知G的Sylowp-子群是正規(guī)的, 且G是超可解群, 并可設(shè)〈a〉和〈b〉都是Q-不變的. 當(dāng)(q,p-1)=1時(shí), 必有G?P4×Q. 當(dāng)(q,p-1)=q時(shí),G除構(gòu)造P4×Q外, 還有其他構(gòu)造. 令H=〈b〉Q, 顯然H/CH(a)同構(gòu)于Aut(〈a〉)的一個(gè)子群, 于是H/CH(a)是循環(huán)群. 又b?CH(a), 所以如果CQ(a)=〈xq,y〉, 則可設(shè)ax=as(否則, 只要用x的適當(dāng)方冪代替x即可), 從而必有bx=b, 其中s=σp(p-1)/q, 而σ是模p2與p的一個(gè)公共原根. 注意到ay=a, 所以將y作用在[a,b]=ap的兩邊后得[a,bti]=ap, 于是pti≡p(modp2), 從而必有ti≡1(modp), 由此得i≡0(modq), 故by=b. 因此G有形如式(12)的構(gòu)造. 如果CQ(a)=〈x〉, 類(lèi)似上述分析, 可得G的形如式(13)的構(gòu)造.

如果CQ(a)=Q, 則將x,y依次作用在[a,b]=ap的兩邊后, 必有CQ(b)=Q, 從而得G?P4×Q. 證畢.

引理6設(shè)G是p3q3階群, 其Sylowp-子群為指數(shù)是p的非交換群P5=〈a,b,c〉, 而Sylowq-子群為指數(shù)是q2的非交換群Q. 令σ是模p的一個(gè)原根, 若q|(p-1), 則令t=σ(p-1)/q, 從而有:

1) 當(dāng)(p2-1,q)=1時(shí),G只有1種構(gòu)造, 即P5×Q;

(14)

(15)

(16)

(17)

(18)

(19)

(20)

(21)

證明： 由引理1知G的Sylowp-子群是正規(guī)的. 因?yàn)?/p>

Φ(P5)=Z(P5)=〈c〉,

綜合引理2～引理6的結(jié)果, 可知定理1成立. 由定理1及文獻(xiàn)[7-14]的結(jié)果, 可知p3q3階群的完全分類(lèi)得以完成.