几乎散在单群的一种刻画.pdfVIP

暧 数学物理学报 http：／／actams．wipm．aC．cn 几乎散在单群的一种刻画 ， 陈彦恒 陈贵云 (西南大学数学与统计学院 重庆 400715；。重庆三峡学院数学与统计学院 重庆404100) 摘要：设 L是一个有限非交换单群．若有限群 G满足：L G_Aut(L)，则称 G是相关于 的几乎单群．特别地，若 是一个散在单群，则称 G是相关于 的几乎散在单群．该文证 明了所有几乎散在单群可被其阶和不多于两个特殊共轭类长唯一确定． 关键词：有限群；几乎散在单群；素图；共轭类长． MR(2000)主题分类：20D05；20D06；20D60 中图分类号：O152．1 文献标识码：A 文章编号：1003—3998(2014)06—1456—09 1 引言 设 G是一个有限群，丌(G)表示群 G阶的素因子的集合，9G表示 9在 G 中的共轭 类，N(c)表示 G 的共轭类长的集合． 1975年， Gruenberg和 Kegel定义了有限群 G 的 素图 [】F(C) (1)r(a)的顶点为 7r(G)； (2)在素图F(G)中，两个顶点P，q相连的充分必要条件是群G中含有pq阶元，记作 P q· 设 t(a)是素图r(a)的连通分支的个数，7i1(G)，71-2(G)，… ， fG)(G)是其连通分支顶 点的集合．特别地，当G是偶阶群时，我们总设 2∈丌1(G)． 1987年，Fields奖获得者 Thompson在给施武杰教授的一封回信 中提出如下猜想 (1989 年武杰施教授在文献 f21公开了这一猜想，且 1992年该猜想被正式收录为 UnsolvedProb— lemsinGroupTheory》中的问题 12．38[0】)． Thompson猜想 若中心平凡的有限群G满足条件N(G)=Ⅳ()，其中 是一个有限 的非交换单群，则 G L． 陈贵云教授以素图为工具对 Thompson猜想做了大量深入的研究，得到了深刻的结果， 在他的1994年的博士论文中证明了这一猜想对所有素图不连通的有限单群都是成立的 [一71． 但对素图连通的情形，很长一段时间Thompson猜想没有任何进展．直到 2009年，、si1’ev 在文献 IS]第一次证明了Thompson猜想对素图连通的有限单群 1o和 L4(4)是成立的，文 收稿 日期：2013—03—29；修订 日期：2014—04—12 E—mail：math_yan@126．corn；gychen@swu．edu．cn 基金项 目：国家自然科学基金 、重庆市科委 自然科学基金计划资助项 目(csTc2O14jcyjA000O9)、 重庆市教委科学技术研究项 目(KJ1401006)和中央高校基本科研业务费专项资金资助 通讯作者 NO．6 陈彦恒等：几乎散在单群的一种刻画 1457 献 [9--10]的作者们也独立地分别在 2011和2012年证明了Thompson猜想对 1o是有效的． 接着2011年，Ahanjideh证明了Thompson猜想对所有的素图连通的特殊射影线性群 (q) 是正确的 [11]．紧接着在 2012年，Gorshkov证明了Thompson猜想对具有连通素图的有限 群单群 (4)，U4(5)， (4)，o (4)和 16是正确的 [12]．随后 2013年，许 明春证明了交错 群A22对 Thompson猜想是成立 I26]．同年，Ahanjideh证明了对于素图连通的单群B ， ， J[)及 D ，Thompson猜想都是成立的 [27--29]． 陈贵云教授和李金宝博士在研究这一猜想过程中发现，在两群阶相等的条件下，并不需 要两群的共轭类长完全相同，仅需一些特殊的共轭