有限循环2-群全形的自同构群

刘合国,王丽

(湖北大学数学与计算机科学学院,湖北 武汉 430062)

(i)当m=1时,Aut(HolG)≅1;

(ii)当m=2时,Aut(HolG)≅HolG=D8;

(iii)当m≥3时,HolG的内自同构群

Inn(HolG)=〈x,y,z|x2=y2m-2=z2m-1=1,[x,y]=1,zx=z-1,zy=z3〉,

且Aut(HolG)/Inn(HolG)≅2×2.

关键词有限循环2-群;全形;自同构群

中图分类号O152.3文献标志码A

文献[2-5]中已经确定了可裂的亚循环p-群的自同构群的结构,近来文献[6]中完全确定了可裂的亚循环群的自同构群的结构,这样当p为奇素数时,循环p-群G的全形HolG的自同构群Aut(HolG)就可以完全确定了.事实上,当G≅pm时,由文献[6]中引理3.2知

Holpm≅(pm-1pm)×p-1,

最后由文献[6]中定理4.6可以得 Aut(Holpm)≅(p-1Sp)×Autp-1,

现在我们要确定有限循环2-群全形的自同构群的结构.

引理当m≥3,k≥0时,下述结论成立.

(i) 32k+1≡1(mod 2),但32k+1≢1(mod 22);

(ii)32k+1≡-1(mod 22),但32k+1≢-1(mod 23);

(iii)32k≡-1(mod 2),但32k≢-1(mod 22);

(iv)32m-2(2k+1)≡1(mod 2m),但32m-2(2k+1)≢1(mod 2m+1).

引理的证明(i),(ii),(iii)式容易验证,只对(iv)进行证明.

当m=3时,32m-2(2k+1)-1=32(2k+1)-1=(32k+1-1)(32k+1+1),由(i),(ii)知

32(2k+1)≡1(mod 23),32(2k+1)≢1(mod 24).

归纳地假设

32m-2(2k+1)≡1(mod 2m),32m-2(2k+1)≢1(mod 2m+1).

因为

32m-1(2k+1)-1=(32m-2(2k+1))2-1=(32m-2(2k+1)-1)(32m-2(2k+1)+1),

所以

32m-1(2k+1)≡1(mod 2m+1),32m-1(2k+1)≢1(mod 2m+2),

证毕.

当G≅2时,Aut(HolG)≅1;当G≅22时,G的全形HolG是8阶二面体群,此时Aut(HolG)≅HolG=D8.

当G≅2m,m≥3时,令G=〈z〉≅2m,G有两个典型的自同构x和y：

x:G→G,z|→z-1;

y:G→G,z|→z3.

其中|x|=2,|y|=2m-2.因为Aut2m≅2×2m-2,所以AutG≅〈x〉×〈y〉.这样

[xaybzc,x]=z-2c,

[xaybzc,y]=z2c,

[xaybzc,z]=z1-(-1)a3b,

得c≡0(mod 2m-1),且(-1)a3b≡1(mod 2m),根据引理得a=0,b=0,c=0或者2m-1.所以ζH⊆〈z2m-1〉,又因〈z2m-1〉⊆ζH,故ζH=〈z2m-1〉.

一方面由[x,z]=z2可得z2∈H′,故〈z2〉≤H′;另一方面由〈z2〉char〈z〉H可得〈z2〉H,又由[x,z]=z2,[z,y]=z2知H/〈z2〉是Able群,于是有H′≤〈z2〉,从而H′=〈z2〉.因H是有限2-群,故FratH=H′H2,其中H2=〈h2|h∈H〉,所以便有FratH=〈y2,z2〉.

任取ψ∈AutH,设

ψ:H→H

x|→xa11ya21za31y2b11z2b21,

y|→xa12ya22za32y2b12z2b22,

z|→xa13ya23za33y2b13z2b23.

其中aij=0或者1;0≤2b1j<2m-2,0≤2b2j<2m(i,j=1,2,3).

(i)当m=3时,|AutH|=26,ψ具有如下形式:

ψ:H→H,x|→xz2i,y|→yz2k,z|→22j+1

或者

ψ:H→H,x|→yz2i,y|→xz2k,z|→xyz2j+1,

其中2|(k+i);

(ii)当m≥4时,|AutH|=22m,ψ具有如下形式:

ψ:H→H,x|→xz2i,y|→yz2k,z|→z2j+1

或者

ψ:H→H,x|→xy2m-3z2i,y|→y2m-3+1z2k,z|→zy2m-3z2j,

其中2m-2|(k+i).

(xa11ya21za31y2b11z2b21)2= (xa11ya21+2b11z32b11a31+2b21)2=x2a11y2a21+4b11z(32b11a31+2b21)[1+(-1)a113a21+2b11]=

y2a21+4b11z(32b11a31+2b21)[1+(-1)a113a21+2b11].

所以有

2a21+4b11≡0(mod 2m-2),

而且

(32b11a31+2b21)[1+(-1)a113a21+2b11]≡0(mod 2m).

根据引理可得当m≥4时,

(i)a11=0,a21=0,a31=0,2b11=0,2b21=2m-1,此时2阶元形如z2m-1;

(ii)a11=0,a21=0,a31=0,2b11=2m-3,2b21=0,此时2阶元形如y2m-3;

(iii)a11=0,a21=0,a31=0,2b11=2m-3,2b21=2m-1,此时2阶元形如y2m-3z2m-1;

(iv)a11=1,a21=0,a31=0,2b11=0,2b21=2i,此时2阶元形如xz2i;

(v)a11=1,a21=0,a31=1,2b11=0,2b21=2i,此时2阶元形如xz2i+1;

(vi)a11=1,a21=0,a31=0,2b11=2m-3,2b21=2i,此时2阶元形如xy2m-3z2i.

当m≥4时,由数学归纳法得

(xa12ya22za32y2b12z2b22)2m-2= (xa12ya22+2b12z32b12a32+2b22)2m-2=

y2m-2(a22+2b12)zez=zez,

其中ez=(32b12a32+2b22)[1+(-1)a123a22+2b12+…+(-1)(2m-2-1)a123(2m-2-1)(a22+2b12)].

于是当(-1)a123a22+2b12=1时

ez=(32b12a32+2b22)2m-2,(xa12ya22za32y2b12z2b22)2m-2=z(32b12a32+2b22)2m-2.

当(-1)a123a22+2b12≠1时,

ez≡0(mod 2m),ez≢0(mod 2m+1);

或者

ez≡0(mod 2m),2m-2(a22+2b12)≢0(mod 2m-1),

于是当(-1)a123a22+2b12=1时,即a12=a22=2b12=0,有

ez=(32b12a32+2b22)2m-2=(a32+2b22)2m-2,

2m-2(a22+2b12)=0≡0(mod 2m-1).

所以

(a32+2b22)2m-2≡0(mod 2m),(a32+2b22)2m-2≢0(mod 2m+1).

即

a32+2b22≡0(mod 22),a32+2b22≢0(mod 23).

从而a32=0,2b22=22(2j+1),故a12=0,a22=0,a32=0,2b12=0,2b22=22(2j+1),此时2m-2阶元形如z22(2j+1).

当(-1)a123a22+2b12≠1时,a12,a22,2b12不同时为0.

(i) 若a22=0,则有

2m-2(a22+2b12)=2m-1b12≡0(mod 2m-1).

所以

若a12=0,则

因为a12,a22,2b12不同时为0,所以可设2b12=2t(2k+1)(其中t≥1,k≥0),此时有

于是可得

(32b12a32+2b22)≡0(mod 22),(32b12a32+2b22)≢0(mod 23).

由此解得a32=0,2b22=22(2j+1),故a12=0,a22=0,a32=0,2b12=2i(其中i≥1),2b22=22(2j+1),此时2m-2阶元形如y2iz22(2j+1)(其中i≥1).

若a12=1,则有

于是可得t=1且(32b12a32+2b22)≢0(mod 2).由此解得a32=1,2b12=2(i+1),故a12=1,a22=0,a32=1,2b12=2(2i+1),2b22=2j,此时2m-2阶元形如xzy2(2i+1)z2j.

(ii)若a22=1,则有

2m-2(a22+2b12)=2m-2(1+2b12)≢0(mod 2m-1).

同上分……