关于单K3群L33和U33.pdfVIP

2013年7月 重庆师范大学学报(自然科学版) Jul．2013 of Normal Science) VoL30No．4 Journal 第30卷第4期 ChongqingUniversity(Natural 关于单K3一群L3(3)和U3(3)。 何立官 (重庆师范大学数学学院，重庆401331) 摘要：设G为有限群，o。(G)表示G中最高阶元素的阶。用极少的数量刻画有限单群是单群刻画领域中一个有趣的课题。 氓(3)，则G兰M当且仅当IGl—IMI，且01(G)一ol(M)。 关键词：有限群；最高阶元素的阶；单K。一群；刻画 中图分类号：0152．1 文献标志码：A 1引言及符号说明 在过去30年里，用群的阶和元素阶的集合刻画有限单群一直是单群数量刻画领域中的一个重要的课题。 课题的提出者施武杰教授及其学生对该课题做了大量工作，并证明了几乎所有有限单群都可以通过群的阶与元 的证明‘8|。数量刻画的关键在于数量的多少，人们总是希望用越少的数量刻画越多的群的性质。于是笔者试图 用更少的数量去刻画有限单群，并成功地用群的阶、最高阶元素的阶(极少数情况用到了次高阶元素的阶)刻画 2|。在文献[11]中，作者用群的阶和最高阶元素 了单K。一群、单K。一群、散在单群、部分李型单群和部分对称群o‘1 一确定。 为了讨论方便，对本文出现的一些符号加以说明。本文所讨论的群均为有限群，‰(G)表示群G的元素阶的 素因子之集，特别地丌(G)=7r(I ￡(G))表示r(G)的连通分支所含顶点之集。如果2IGl，则总设2∈丌，[13|。其余符号及术语是标准的。 2主要引理 引理1[”3设G的素图分支大于1，则G的结构是如下之一： 1)G是Frobenius群或者2一Frobenius群； 2)G有一正规列1qHq 且1％川仇z(％)I。 引理2[14] {丌(H)，丌(K))。 K 引理3叭3设G是偶阶2一Frobenius群，则￡(G)一2，且G有正规列1qHqqG，使得丌(多鲁)=7r。， * 19：23 收稿日期：2012—10—07网络出版时间：2013一07—20 作者简介：何立官，男，讲师，博士，研究方向为有限群，E—mail：guanlihe@126．com 网络出版地址：http：／／www．cn ki．net／kcms／detail／50．1165．N1923．201304．76一012．html 万方数据 第4期 何立官：关于单K。一群L。(3)和U。(3) 77 引理4n53 G 设丌7群H作用在丌群G上，且G和H中至少有一个可解。则对任意素数pl，G中存在H 不变的少SyZo训子群。 3定理及其证明 定理1 设G为有限群，M为单K s一群L。(3)，U。(3)，则G竺M当且仅当lGf—IMI，且o。(G)=o，(M)。 证明必要性显然，下证充分性。 G 1)当m=Ls(3)时，由文献[16]知l HqK司 G，使得H和％是丌。一群，多磊是非交换单群，其中2∈丌，，H为幂零群，而且J％Io“z(乡磊)『。