关于一些交错单群的新刻画.pdfVIP

2013年3月 重庆师范大学学报(自然科学版) Mar·2013 of Normal Science) Vo!·30No·2 第30卷第2期 JournalChongqingUniversity(Natural 关于一些交错单群的新刻画+ 何立官1’2，陈贵云2 (1．重庆师范大学数学学院，重庆401331；2．西南大学数学与统计学院，重庆400715) 等人2009年证明了用元素阶集合7r。(G)和群的阶GI刻画有限单群。本文试图用更少的数量刻画交错单群，并证明了： M{，且§，(G)=是，(M)；2)设G为 1)设G为有限群，M为交错单群A。(挖一5，6，7，9，10，11，13)，则G兰M当且仅当{Gl—l 有限群，M为交错单群A。(”一8，12)，则G兰M当且仅当lGJ—iMl，且k，(G)一k，(M)，i=l，2。 关键词：有限群；最高阶元素的阶；次高阶元素的阶；交错单群；刻画 中图分类号：0152，1 文献标志码：A G『， 则总设2∈丌。[1]，其余符号及术语是标准的。 众所周知，在过去30年里用群的阶和元素阶的集合刻画有限单群一直是单群数量刻画领域中的一个重要 的课题。课题的提出者施武杰教授及其学生对该课题做了大量的工作，并证明了几乎所有有限单群都可以通过 终完成课题的证明[93。笔者试图用更少数量去刻画有限单群，并用群的阶与最高阶元素的阶(少数情况下用到 次高阶元素的阶)刻画了单K。一群、单K。一群、散在单群、部分李型单群和部分对称群口”131。而本文继续这一工 作，只用群的阶、最高阶元的阶和次高阶元素的阶刻画了交错单群A。(押≤13)。 1主要引理 引理1[1]设G的素图分支大于1，则G的结构是如下之一： 1)G是Frobenius群或者2-Frobenius群； 2)G有一正规列1qHqKI G，使得H和％是丌。一群，。％是非交换单群，其中2E丌。，H为幂零群，而 且I％…o“t(％)|o 4] 引理2[1 设G是偶阶Frobenius群，K是Frobenius核，H是Frobenius补，则 ￡(G)一2且r(G)一{丌(H)，丌(K)} K 引理3[14]设G是偶阶2一Frobenius群，则f(G)一2，且G有正规列1qHqq G，使得 丌(％)‰，删，u丌(％)习 ％和％均为循环群且满足J％…砌(％)J。特jj{J地}％Il％『，G可解。 * 收稿日期：2012-06—06修回日期：2012-07—20 13：37 网络出版时间：2013一03一16 技项目(No．KJll0609)；重庆师范大学科研基金项目(No．12XI。B029；No．IOXLZ001) 万方数据 第2期 何立官，等：关于一些交错单群的新刻画47 引理4‘151设丌7群H作用在丌群G上，且G和H中至少有一个可解。则对任意素数PGI，G中存在H 不变的P—Sylow子群。 引理5[161设G是交错单群A。(行≤ 表1 A。(n≤13)的阶及高阶与次高阶元的阶 13)，则l GI，k，(G)和矗：(G)如表1。 G