极小非半3-交换3-群分类.docVIP

极小非半3-交换3-群分类 　　摘要: 围绕极小非半3-交换3-群的结构问题进行了讨论.对极小非半3-交换3-群的方次数为?3?e?时?e2?的情形作进一步讨论即可，最后给出了极小非半3-交换3-群的分类.? 　　关键词: 半3-交换3-群；正则；亚交换群? 　　中图分类号:O 152.2 文献标志码:A 文章编号:1672-8513(2011)03-0198-04 　　?? 　　A Classification of Minimal Non-Semi-3-Commutative 3-Groups 　　 　　ZHANG Qiao?hong?1,GUO Xiao?qiang?2 　　? 　　（1.Department of Mathematics, Changzhi University,Changzhi 046000,China;? 　　2.Department of Mathematics Hebei United University,Tangshan 063000,China） 　　 　　Abstract: The mail work in this paper is about the structure of minimal non-semi-3-commutative 3-groups. Let G be any minimal non-semi-3-commutative 3-groups and exp(G)= 3??e?, we discuss the cases of ?e?=2 and ?e?2. Then we only discuss the case of ?e?2. In the last, we give a classification of minimal non-semi-3-commutative 3-groups. 　　? 　　Key words: semi-3-commutative 3-groups;regular;metabelian 　　 　　1933年，Hall发表了有限?p-群理论的奠基性文章［1］,其中以大约一半的篇幅讲述了他所创建的正则p-群理论.事实上, ?Hall?对正则p-群的研究主要就集中在它们的幂结构性质上.而在研究正则p-群的幂结构时,引理1?(ii)?中给出的性质是非常重要的,为了便于研究这个性质,人们又给出了半p?s-交换的定义.下面我们将对极小非半3-交换3-群进行讨论,最后给出极小非半3-交换3-群的分类.? 　　1 预备知识? 　　[HTH][STHZ]定义1 [HT][ST]称有限p-群叫做半p-交换的，若对任意的a,b∈G,有a?p=b?p当且仅当(a??－1?b)?p=1.或等价地(ab)?p=1当且仅当a?pb?p=1.(注:由定义易得半p-交换性是子群遗传的,但它并不商群遗传.)? 　　[HTH][STHZ]定义2 [HT][ST]设G为有限p-群，若G的所有真子群和真商群都是半p-交换的，而G本身不半p-交换，则称G为极小非半p-交换群.? 　　[HTH][STHZ]定义3[HT][ST]［2］ 称有限p-群G为p?s正则的，如果对任意的a,b∈G，有(ab)??p?s?=a??p?s?b??p?s?d??p?s??1d??p?s??2…d??p?s??s，其中d?i∈′，i=1，2，…，s，′是的导群，而s可依赖于a,b.特别的，如果对每个正整数s，群G都是p?s正则的，则称有限p-群为正则的.? 　　[HTH][STHZ]定义4 [HT][ST]设群G为有限p-群，若G的所有真子群和真商群都正则，而G本身不正则，则称G为极小非正则p-群.? 　　[HTH][STHZ]定义5 [HT][ST]称群G为亚交换群,如果G″=1.? 　　[HTH][STHZ]定义6 [HT][ST]称群G为亚循环群,如果它有循环正规子群A=,使得商群GA亦为循环群.? 　　[HTH][STHZ]引理1[HT][ST]［3］ 设G为有限p?s正则群，则? 　　?i)?对任意的a,b∈G,存在c∈G,使得a??p?s?b??p?s?=c??p?s?;? 　　?ii)? 对任意的a,b∈G,a??p?s?=b??p?s?当且仅当(a??－1?b)??p?s?=1.? 　　[HTH][STHZ]引理2[HT][ST]［3］ 有限p-群G是正则群当且仅当G的每个截断是半p-交换群.? 　　[HTH][STHZ]引理3[HT][ST]［3］ 令G是一个类c的极小非正则群，且?exp?G=p?e，则? 　　?i)? G是二元生成的;? 　　?ii?) ?exp?G′≤p,GG′为(p??e－1?,p)型;?