某些单K3-群的一个新刻画.pdfVIP

第24卷第1期 苏 州 大 学 学 报(自然科学版】 Voll 24 NO．1 2008年 1月 JOURNAL OF SUZHOU UNIVERSITY(NATURAL SCIENCE EDITION、 Jan．2008 某些单 一群的一个新刻画 蒋琴会，邵长国 (苏州大学 数学科学学院，江苏 苏州 215006) 摘 要：利用有限群的阶方程给出了除 u (2)以外的所有单K 一群一个新刻画． 关键词：阶方程；元素的阶；7r—Hall子群 中图分类号：O152．1 文献标识码：A 文章编号-1000—2073(2008)01—0024—03 0 引 言 我们知道在有限群中类方程对群的结构有很大的影响．例如，可由类方程决定阶最小的单群 ¨¨6 ．如果 把互不共轭的同阶元的共轭类长加起来就得到了阶方程，即按阶相等作为等价关系划分群元素得出的方程． 显然同阶类是群的一种粗划分．施武杰教授在文[2]中最早提出阶方程的概念．与阶方程相关的是著名的 Thompson问题．有限群G。与G 称为同型群，若l (G。)I：l (G：)l，t=1，2，3，…．其中 (G)={ ∈G： =1}． Thompson问题：设 G，与G2为同型群，若G，可解，G 是否可解? Thompson问题自1990年由施武杰教授公开后 。，没有人给出证明，也没有人给出反例，可见Thompson 问题的解决是十分困难的．型相同阶方程必相同，因此本文的研究将有利于Thompson问题的解决．本文将根 据阶方程来刻画某些单K 一群． 本文所用的符号术语同[1]．特别地，我们用7r (G)表示群G中元素阶的集合，7r(G)表示群G阶的素因 子的集合，G 表示群G的Sylow p-子群～ (G)表示群G的Sylow p-子群的个数． 1 一些引理 引理1([3]) 设G是一有限群，则7r (G)={1，2，3，5}当且仅当G兰A ． 弓l理2([4]) 设G是一有限单群，且l 7r(G)I-3，则G兰A (2 ·3·5)，A (2 ·3 ·5)，L (7)(2 ·3 · 7)，L (8)(2 ·3 ·7)，L：(17)(2 ·3 ·17)，L，(3)(2 ·3 ·13)，U，(3)(2 ·3 ·7)或 U (2)(2 ·3 · 5)． 引理3([1]) 设G是一有限Frobenius一群，K为其核，日为其补，则1日I I I KI一1． 引理4([6]) 如果G是一有限群，其素图分支的个数大于1，则下列结论之一成立： (1)G是Frobenius一群或2-Frobenius群； (2)G有一正规列：1 H K G，使得：日和G／K是7r。一群，其中7r。是含2的素图分支．日是幂零群，且 IG／KI I IAut(K／H)I． 引理5([7]) 设 G是偶数阶的2-Frobenius群，则 G=ABC，其中AB为 Frobenius一群， 为其核，曰为其 补．BC也为Frobenius一群，曰为其核，G为其补．而且 (1)G有两个素图分支，7r(B)=7r：和7r(A)U 7r(C)=7r．． (2)B，C都是循环群，而且满足l cl l lAut(B)l， 是幂零的． 收稿日期：2006—10—12 基金项目：国家自然科学基金资助项目 作者简介：蒋琴会(1983一)，女，江苏宿迁人，硕士，主要从事有限群的研究 第1期 蒋琴会，邵长国：某些单 ·群的一个新亥4画 25 2 主要结论 定理1 设 G是一群，G兰A 当且仅当G的阶方程为 f Gf=1+15+20+24=60=2 ．3．5． 证明 必要性显然，下证充分性． G的阶方程为：I G I=1+15+20+24=60：2 ·3·5．所以，我们可以知道，群G的元素的阶只有：1，2，3 和5．由引理1知：G兰A ． 定理2 设 G是一群，G兰L：(