具有8pq阶自同构群有限幂零群.docVIP

具有8pq阶自同构群有限幂零群 　　摘要: 有限群G的结构一直是群论研究的一个热点，研究了具有8?pq?阶自同构群的有限群的结构，给出了满足条件的幂零群的完全分类. 　　? 　　关键词: 幂零群；自同构群；p群? 　　中图分类号:O 152?1 　　 文献标志码:A文章编号:1672-8513(2011)04-0272-03 　　?? 　　Finite Nilpotent Groups with Automorphism Group of Order 8?pq? 　　 　　MENG Wei, LI Chun?qin 　　? 　　(School of Mathematics and Computer Science, Yunnan University of Nationalities, Kunming 650031, China) 　　 　　Abstract: Let ?G? be a finite group, by Aut(?G?) we denote the order of automorphism group of ?G?. In this paper, the finite nilpotent groups ?G? with |Aut(?G?)|= 8?pq? are classified. 　　? 　　Key words: nilpotent groups; automorphism group; ?p?-groups 　　?? 　　 　　 　　?讨论有限群G的结构一直是群论研究的一个热点, 文献［1］研究了有限群中非正规子群的数量, 文献［2］讨论了覆盖避开子群对有限群结构的影响. 给定正整数n, 确定有限群X, 使得 |?Aut?(X)|=n , 其中?Aut?(X) 表示 X 的自同构群，也是一个很有意义的问题. ?Iyer?[3]证明了至多有有限个 X 满足上述方程. ?Machale 和 Flannery?[4-5]给出了 |?Aut?(G)|=p?n(1≤n≤4) 及 pq 的有限群的构造, 并证明了不存在自同构群阶是p?5,p?6,p?7的交换群( p为奇素数). ?Curran?[6]得出结论: 对任一奇素数 p, |?Aut?(X)|=p?n(1≤n≤5) 无解, ?Flym?[7]给出了 |?Aut?(X)|=2?5的全部解. 陈贵云[8]研究了自同构群阶为无平方因子或pq?2的有限群. ? Hegarty?[9]给出了自同构群阶为p?2q?2的有限群分类.李世荣[10-11]完整解决了 |?Aut?(G)|=p?3q 的情形. 杜妮和李世荣[12]解决了满足 |?Aut?(G)|=4pq情形的有限群 G 的分类. 钟祥贵和李世荣[13]解决了 |?Aut?(G)|=2p?2q的情形. 孟伟等[14]给出了具有 4p?2q阶自同构群的幂零群的完全分类. 作为以上问题的继续,本文研究具有8pq阶自同构群的有限群的结构, 给出了满足条件的幂零群的完全分类.? 　　所考虑的均为有限群,所有未经说明的记号和术语都是标准的. 另外,Z?n表示n阶循环群,Z?p×Z?p为p?2阶初等交换群,Q?8表示8阶四元数群,D?8表示8阶二面体群.? 　　1 预备引理 ? 　　引理1[15] 设P为非循环p-群, |P|p?2. 若|P/Z(P)|≤p?4, 则 |P| |Aut(P)| .? 　　引理2[16] 设n为整数且n=p??a?2??2,p??a?2??2,…,p??a?r??r为n的素因子分解式, 记 ω(n)=?ri=1a?2,则不存在有限群G,使得 |?Aut?(G)| 为奇数且ω( |?Aut?(G)|)≤4 .? 　　引理3[17] 设G为有限群. 若 |?Aut?(G)|=2,则G?Z?3或Z?4. ? 　　引理4[17] 设G为有限群. 若 |?Aut?(G)|=4,则G?Z?5或Z?6.? 　　引理5[17] ?Aut?(Q?2)?S?4;?Aut?(D?2)?D?4.? 　　2 主要结果 ? 　　定理1 设G是有限循环群. 则|?Aut?(G)|=8pq(p,q为不同奇素数)当且仅当G是下列群之 　　 　　 　　参考文献:? 　　 　　［1］?孟伟,史江涛.有限群中非正规子群数量的一个标注［J］.云南民族大学学报:自然科学版,2010,19(5):360-362.? 　　［2］?胡学瑞,李幸洋.覆盖避开性与幂零性［J］.云南民族大学学报:自然科学版,2008,17(4):311-314.? 　　［3］?IYER H K.On solving the quation Aut(?X)=G? ［J］. Roky Moun