鐘祥貴,蔣青芝,吳 勇,張小芳

(廣西師范大學數學科學學院,廣西 桂林 541004)

自同構群階為8p1p2...pr的有限冪零群*

鐘祥貴,蔣青芝,吳 勇,張小芳

(廣西師范大學數學科學學院,廣西 桂林 541004)

給出自同構群階為8p1p2...pr(p1,p2,...,pr是不同的奇素數)的有限冪零群的完全分類.

自同構群;冪零群;群階;有限群

對于給定的自然數n,解自同構群方程|Aut(G)|=n的問題,學者們[1-9]作了很多研究.文獻[1]證明了對任意給定的奇素數p,不存在有限群G滿足|Aut(G)|=p5.文獻[2-3]對自同構群階為8pq,8p2q2(p,q為不同的奇素數)的有限冪零群作了研究.文獻[4]對自同構群階為16p(p為奇素數)的有限冪零群作了研究.文獻[5]對自同構群階為16p2(p為奇素數)的有限交換群作了研究.筆者的目的是繼續(xù)這方面的研究,作為文獻[3]的進一步擴展,討論自同構群方程|Aut(G)|=8p1p2...pr(p1

1 相關引理

引理1[6]設P為非循環(huán)p群,|P|>p2.若|P/Z(P)|≤p4,則|P|整除|Aut(P)|.

引理2[7]不存在有限群G使得|Aut(G)|=n,其中n是4次方自由的奇數.

引理3[8]八階非循環(huán)群P有以下4種互不同構的類型：Z2×Z2×Z2,Z4×Z2,四元數群Q8,二面體群D8.并且|Aut(P)|依次為23·3·7,23,23·3,23.

引理4[8]設Q為q-群(q為素數).如果|Aut(Q)|=m,那么:

(1)m=1時,Q?Z2;

(2)m=2時,Q?Z3,Z4;

(3)m=4時,Q?Z5,Z8;

(4)m=8時,Q?Z2×Z4,D8,Z16.

引理5[9]設L為奇階有限冪零群,那么|Aut(L)|=4p1p2...pr(pr是最大素因子)當且僅當L同構于下列群之一:

(1)L1=Zp,其中p=4p1p2...pr+1為素數;

(2)L2=Z(4p1p2...pr+1)2,其中4p1p2...pr-1+1=pr;

(3)L3=Zp×Zq,其中p,q為互異素數,p-1,q-1為無平方因子的偶數;

(4)L4=Zp×Zq2,其中p,q為互異素數,p-1,q-1為無平方因子的偶數;

(5)L5=Zp2×Zq2,而p,q為互異素數,p-1,q-1為無平方因子的偶數.

2 定理及其證明

定理1 設p1

(1)Z2×Z2×Li,i=1,2,3,4,5,其中L1=Zp且p=4p2...pr+1為素數,L2=Z(4p2...pr+1)2且pr=4p2...pr-1+1,L3,L4,L5的結構如同引理5所述;

(2)Z2×Z2×Z2,Q8;

(1) 若|R1|=4,則R1是四階初等交換群,此時Aut(R1)的階為2·3,從而p1=3,并且3

(ⅰ)L1=Zp,其中p=4p2...pr+1為素數;

(ⅱ)L2=Z(4p2...pr+1)2,其中4p2...pr-1+1=pr;

(ⅲ)L3=Zp×Zq,p,q為大于3的互異素數,p-1,q-1為無平方因子的偶數;

(ⅳ)L4=Zp×Zq2,p,q為大于3的互異素數,p-1,q-1為無平方因子的偶數;

(ⅴ)L5=Zp2×Zq2,p,q為大于3的互異素數,p-1,q-1為無平方因子的偶數.

(2) 若|R1|=8,則R1為引理3給出的非循環(huán)群,其自同構群階分別為23·3·7,23,23·3,23.如果r≥2,那么|Aut(R2×...×Rk)|=p2...pr.這時由引理2知R2×...×Rk不存在.從而G同構于Z2×Z2×Z2,或者四元數群Q8.

情況1t=1.由文獻[1]的結論可知，2整除|Aut(Ri)|(i=1,...,s-1).注意到|Aut(Ri)|整除8p1p2...pr,所以2≤s≤4.下面就s的值分別進行討論.

情況2t=2.注意到|Aut(Ri)|整除4p1p2...pr,2≤s≤3.下面就s的值分別進行討論.

[1] CURRAN M J.Automorphisms of Certainp-Groups (pOdd)[J].Bulletin of the Australian Mathematical Society,1988,38(2):299-305.

[2] MENG Wei,LU Jiakuan,CHEN Kelin.Finite Nilpotent Groups with Automorphism Group of Order 8p2q2[J].South Asian J. Math.,2011,1(1)：29-33.

[3] 孟 偉,李春琴.具有8pq階自同構群的有限冪零群[J].云南民族大學學報：自然科學版,2011,20(4):272-274.

[4] 鐘祥貴,張福生,張 洪.自同構群階為16p的有限冪零群[J].廣西師范大學學報：自然科學版,2009(1):21-24.

[5] 王秀花. |A(G)| = 24p2(p為奇素數) 的有限Abel 群[J].湖北民族學院學報：自然科學版,2007,25(4):125-128.

[6] DAVITT R M.On the Automorphism Group of a Finitep-Group with a Sma1l Central Quotient[J].Canadian Journal of Mathematics,1980,32:1 168-1 176.

[7] 錢國華.某些有限群的自同構群[J].中國科學,2003,33(1):75-82.

[8] 張遠達.有限群構造[M].北京:科學出版社,1982.

[9] 夏巧珍,陳貴云,曹洪平.自同構群階為4p1p2...pn的有限群[J].中國科學,2012,42(6):611-617.

(責任編輯 向陽潔)

FiniteNilpotentGroupswiththeAutomorphismGroupofOrder8p1p2...pr

ZHONG Xianggui,JIANG Qingzhi,WU Yong,ZHANG Xiaofang

(College of Mathematical Science,Guangxi Normal University,Guilin 541004,Guangxi China)

In this paper,the finite nilpotent groups with the automorphism group of order 8p1p2...pr(p1,p2,...,prare distinct odd prime numbers) are classified.

automorphisms group;nilpotent group;group order;finite group

1007-2985(2014)01-0001-03

2013-04-19

國家自然科學基金資助項目(11261007)；廣西研究生教育創(chuàng)新計劃項目(YCSZ2012051)

鐘祥貴(1963-),男,湖南武岡人,廣西師范大學數學科學學院教授,主要從事有限群論研究.

O152.1

A

10.3969/j.issn.1007-2985.2014.01.001