王佳俊，高百俊，2*

（1.伊犁師范大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，新疆伊寧 835000；2.伊犁師范大學(xué)應(yīng)用數(shù)學(xué)研究所，新疆伊寧 835000）

0 引言

1993年，T.Asai和T.Yoshida［1］將文獻(xiàn)［2］中的主要定理推廣為T.Asai和T.Yoshida猜想，開啟了有關(guān)有限群同態(tài)數(shù)量猜想研究的序幕.之后，不少群論研究者將目光投向了有限群同態(tài)數(shù)量的研究［3-6］.文獻(xiàn)［7］計(jì)算了擬二面體2-群之間的同態(tài)數(shù)量，糾正了文獻(xiàn)［4］的定理證明錯(cuò)誤并驗(yàn)證了擬二面體2-群是滿足T.Asai和T.Yoshida猜想的；文獻(xiàn)［8］計(jì)算了一類由n階循環(huán)群通過2p階亞循環(huán)群擴(kuò)張的2np階亞循環(huán)群Gn,2p之間的同態(tài)數(shù)量，并驗(yàn)證了這類亞循環(huán)群是滿足T.Asai和T.Yoshida猜想的；文獻(xiàn)［9］以Gn,2p［8］為研究對(duì)象之一，計(jì)算了Gn,2p［8］到二面體群、擬二面體群、四元數(shù)群以及模群之間的同態(tài)數(shù)量，得到了它們也是滿足T.Asai和T.Yo‐shida猜想的.Mp(n,m)是內(nèi)交換亞循環(huán)p-群，在p-群的同構(gòu)分類中有著重要的作用.本文將以內(nèi)交換亞循環(huán)2-群M2(2，m)為研究對(duì)象，計(jì)算它與亞循環(huán)群Gn,2p［8］之間的同態(tài)數(shù)量，進(jìn)一步驗(yàn)證這兩類群是滿足T.Asai和T.Yoshida猜想的.

為了敘述方便，我們先給出這兩類群的結(jié)構(gòu)：

文中φ表示Euler函數(shù)，其他記號(hào)參見文獻(xiàn)［11］.

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

引理1［10］設(shè)內(nèi)交換亞循環(huán)2-群m＞2 是正整數(shù)，則

引理2設(shè)M2(2，m)記號(hào)如上，則

（1）a2bj=bja2，0 ＜j＜2m；

（2）abj=bja3，a3bj=bja，0 ＜j＜2m且j為奇數(shù)；

（3）abj=bja，a3bj=bja3，0 ＜j＜2m且j為偶數(shù).

證明：由M2(2，m)定義易得（1）（2）（3）成立.

引理3設(shè)M2(2，m)記號(hào)如上，則

（2）o(abj)=o(a2bj)=o(a3bj)=o(bja)=o(bja3)=2m，0 ＜j＜2m且j為奇數(shù)；

（3）o(abj)=o(a3bj)=o(bja)=o(bja3)=[4,o(bj)]，o(a2bj)=[2，o(bj)]，其中0 ＜j＜2m且j為偶數(shù).

證明：由有限群元素階的性質(zhì)和引理2易得（1）（2）（3）成立.

證明：任取aibj，asbt∈M2(2，m)，其中0 ≤i，s＜4，0 ≤j，t＜2m.下面分4種情況討論：

（1）當(dāng)j為偶數(shù)且t為偶數(shù)，[aibj，asbt]=b-ja-ib-ta-saibjasbt=1；

（2）當(dāng)j為偶數(shù)且t為奇數(shù)，[aibj，asbt]=b-ja-ib-ta-saibjasbt=a-2i；

（3）當(dāng)j為奇數(shù)且t為奇數(shù)，[aibj，asbt]=b-ja-ib-ta-saibjasbt=a2(i-s)；

（4）當(dāng)j為奇數(shù)且t為偶數(shù)，[aibj，asbt]=b-ja-ib-ta-saibjasbt=a2s.

特別地，若j=p，則o(xi yj)=2，若j≠p，則o(xi yj)=2p；

引理7設(shè)Gn,2p記號(hào)如上，則

（1）xi yj=yjx-i，yjxi=x-i yj，0 ≤j＜2p且j為奇數(shù)；

（2）xi yj=yjxi，yjxi=xi yj，0 ≤j＜2p且j為偶數(shù).

證明：由Gn,2p定義易得（1）（2）成立.

引理8設(shè)Gn,2p記號(hào)如上，當(dāng)4∣n時(shí)是Gn,2p中的四階元.

證明：設(shè)o(xi yj)=4，其中0 ≤i＜n，0 ≤j＜2p.當(dāng)j為奇數(shù)時(shí)，由引理7 可知，(xi yj)4=y4j=1，根據(jù)已知條件可知此j不存在；當(dāng)j為偶數(shù)時(shí)，由引理7可知，(xi yj)4=x4i y4j=1，由Gn,2p的定義可得，x4i=1 且y4j=1，于是i=因此，當(dāng)4∣n時(shí)是Gn,2p中的四階元.

2 主要定理及其應(yīng)用

定理1n為正偶數(shù)，m是大于2的整數(shù)，p是奇素?cái)?shù)，則

（1）當(dāng)4∣n時(shí)，|Hom(M2(2，m)，Gn,2p)|=6n+2α+1，α∈Z且2 ＜α≤m；

（2）當(dāng)4 ?n時(shí)，|Hom(M2(2，m)，Gn,2p)|=5n+4.

定理2設(shè)n為正奇數(shù)，m是大于2的整數(shù)，p是奇素?cái)?shù)，則|Hom(M2(2，m),Gn,2p)|=3n+1.

證明：設(shè)θ∈Hom(M2(2，m)，Gn,2p)，因?yàn)?a4)θ=(aθ)4=1，所以o(aθ)∣4，進(jìn)而o(aθ)∣(4，2np).由于n為正奇數(shù)，于是o(aθ)∣2.由引理6 可知，aθ∈{1}?{xi yp|0 ≤i＜n}.又(b2m)θ=(bθ)2m=1，所以o(bθ)∣2m，進(jìn)而o(bθ)∣(2m，2np).而n為正奇數(shù)，于是o(bθ)∣2.由引理6可知，bθ∈{1}?{xj yp|0 ≤j＜n}.

首先令aθ=1，若bθ=1，此時(shí)，θ為平凡同態(tài)且只有1 種選擇；若bθ=xj yp，0 ≤j＜n，則由定理1（1）中bθ=xj yp，aθ=1可知，群同態(tài)θ有n種選擇.

最后令aθ=xi yp，且0 ≤i＜n，若bθ=1，則由定理1（1）中bθ=xu，這里0 ≤u＜n且o(xu)∣2α，α∈Z且2 ＜α≤m，aθ=xi yp可知，令u=0 時(shí)θ為群同態(tài)，此時(shí)，θ有n種選擇；若bθ=xj yp，這里0 ≤j＜n，則可斷定θ為群同態(tài)當(dāng)且僅當(dāng)i=j，同樣由定理1（1）的證明可知，群同態(tài)θ有n種選擇.

綜上所述，當(dāng)n為正奇數(shù)時(shí)，|Hom(M2(2，m)，Gn,2p)|=3n+1.

定理3設(shè)n為正偶數(shù)，m是大于2的整數(shù)，p是奇素?cái)?shù)，則|Hom(Gn,2p，M2(2，m))|=16.

綜上所述，當(dāng)n為正偶數(shù)時(shí)，|Hom(Gn,2p，M2(2，m))|=16.

定理4設(shè)n為正奇數(shù)，m是大于2 的整數(shù)，p是奇素?cái)?shù)，則|Hom(Gn,2p，M2(2，m))|=4.

3 應(yīng)用

T.Asai和T.Yoshida猜想［2］：設(shè)A，G是兩個(gè)有限群，A′是A的換位子群，則|Hom(A，G)|≡0(mod(|A/A′|，|G|))成立.

下面，驗(yàn)證群M2(2，m)與群Gn,2p之間的同態(tài)數(shù)量滿足T.Asai和T.Yoshida猜想.

推論1設(shè)n為正整數(shù)，m是大于2 的整數(shù)，則|Hom(M2(2，m)，Gn,2p)|≡0(mod(M2(2，m)/M′2(2，m)|，|Gn,2p|)).

證明：已知|M2(2，m)|=2m+2，由引理5知，|M2(2，m)/M′2(2，m)|=2m+1.下面分兩種情況討論：當(dāng)n為正偶數(shù)時(shí)，則(|M2(2，m)/M′2(2，m)|，|Gn,2p|)=(2m+1，2np)，即(2m+1，2np)=2α，α∈Z 且2 ≤α≤m+1，由定理1知，|Hom(M2(2，m)，Gn,2p)|≡0(mod(|M2(2,m)/M′2(2,m)|,|Gn,2p|))；當(dāng)n為正奇數(shù)時(shí)，則(|M2(2，m)/M′2(2，m)|，|Gn,2p|)=(2m+1，2np)，即(2m+1，2np)=2，由定理2知，|Hom(M2(2，m)，Gn,2p)|≡0(mod(|M2(2,m)/M′2(2,m)|,|Gn,2p|)).綜上，推論1成立，即群M2(2，m)到群G2np的同態(tài)個(gè)數(shù)滿足T.Asai和T.Yoshida猜想.

推論2設(shè)n為正整數(shù)，m是大于2的整數(shù)，則|Hom(Gn,2p，M2(2m))|≡0(mod(|Gn,2p/G′n,2p|，|M2(2，m)|)).

證明：已知|Gn,2p|=2np，由引理6 知，|Gn,2p/G′n,2p|=np.下面分兩種情況討論：當(dāng)n為正偶數(shù)時(shí)，則(|Gn,2p/G′n,2p|，|M2(2，m)|)=(np，2m+2)，即(np，2m+2)=2β，β∈Z 且1 ≤β≤m+2，由定理3 可知，|Hom(Gn,2p，M2(2，m))|≡0(mod(|Gn,2p/G′n,2p|，|M2(2，m)|))；當(dāng)n為正奇數(shù)時(shí)，則(|Gn,2p/G′n,2p|，|M2(2，m)|)=(np，2m+2)，即(np，2m+2)=1，由定理4知，|Hom(Gn,2p，M2(2，m))|≡0(mod(|Gn,2p/G′n,2p|，|M2(2，m)|)).綜上，推論2成立，即群Gn,2p到群M2(2，m)的同態(tài)個(gè)數(shù)滿足T.Asai和T.Yoshida猜想.