关于对称群S6的整群环的Kimmerle猜想.pdfVIP

第26卷第4期 青 岛大学学报 (自然科 学版 ) Vo1．26NO．4 2013年l1月 JOURNALOFQINGDAOUNIVERSITY (NaturalScienceEdition) NOV．20 13 文章编号 ：1OO6—1037(2013)04一O0i0—05 doi：10．3969／j．issn．1006—1037．2013．11．03 关于对称群 S6的整群环的Kimmerle猜想 吕欣欣 ，海进科 (青岛大学数学科学学院，青岛 266071) 摘要 ：利用 Hertweck所推广的Luthar—Passi方法，研究了对称群 S。的整群环的正规化挠单 位 ，得到了 S。的Kimmerle猜想成立 。 关键词 ：整群环 ；对称群；Kimmerle猜想 中图分类号：O152．6 文章标识码 ：A 主题分类号：20E36；20C20 设 ZG为有限群G的整群环，V(ZG)为 ZG的正规化单位群。Zassenhaus曾提出如下猜想 ： (ZC1) V(ZG)中的任一挠单位与 ZG中的某一元在有理群代数 QG共轭 。 对于有限单群 ，研究 Zassenhaus猜想最主要 的方法是文献[1]中给出的Luthar—Passi方法 ，即利用群的 常特征标来计算 。该方法首先肯定了A 及 s的Zassenhaus猜想 (ZC1)成立。随后 ，Hertweck~将 Luthar— Passi方法推广到群 的Brauer特征标上，并用推广 的方法研究 了投射线性群 PSI(2，P)的 Zassenhaus猜 想。一些相关结果可 以参见文献E3]等 。由于猜想 (ZC1)目前没有反例，为进一步研究，人们又给出了该猜 想的一些弱化形式 ，其中最著名的是 KimmerleL4给出的猜想。 设 H 为群 (不必为有限)，7c(H)一 {P P为素数 ，且存在 gEH 满足O(g)一P)，E(H)一 {(，q)I P，q∈7c(H)且存在 g∈H 满足O(g)一Pq)，／／(H)是以7c(H)为顶点 ，以E(H)为边的图，称之为群 H 的Gruenberg—Kegel图(或素图)。Kimmerle提出猜想 ： (KC) 若 G是有限群 ，则 II(G)一 11(V(ZG))。 显然 Zassenhaus猜想蕴含了Kimmerle猜想 (KC)。在文献 [4]中，KimmerIe肯定有限可解群 以及有 限Frobenius群满足 (KC)，而文献[5，6]进一步证明若 G为 Mathieu单群 M M 2，M2，M2。，M24或 Janko 单群 ．，，J ，J。，则(Kc)对 G成立 。 本文继续研究对称群 S 。尽管用 Luthar—Passi方法无法确定 S。是否满足猜想 (ZC1)，但本文的主要结 果却给出了V(ZS)中挠单位的诸 多信息 ，肯定了 S。的Kimmerle猜想。本文的主要结果为 ： 定理 1 设 U为V(ZS。)中的挠元，记 o(“)为 “的阶，则 (1)o(“)一2时 ，若 “不共轭于 S 中的元素 ，则 M关于 S 中二阶元的偏增广为 1或一1。 (2)0(“)E {3，5}时 ，“有理共轭于S。中的某个元 ； (3)o()≠ 10，15； (4)若U 有理共轭于S。中两个不交 3一循环的乘积，。有理共轭于S。中三个不同对换的乘积，则 有 理共轭于 S。中的6一循环 ； (5)若 “有理共轭于S。中的3一循环，U。有理共轭于S。中的对换 ，则 有理共轭于5s中对换与 3一循 环的乘积 。 作为定理 1的直接结果 ，有 ： 推论 1 设 G— S ，则 II(G)===Ⅱ(V(ZG))。 收稿 日期 作者简介：吕欣欣 ，男 ，硕士研究生 ，研究方向有限群表示理论 。 第 4期 吕欣欣 ，等 ：关于对称群 S 的整群环的Kimmerle猜想 11 设G是有限群，一∑gEGagg∈ZG(其中aEZ)，令e(“)一∑ 。a，称其为 “的增广，称￡(“)一 ∑ 。n为M相对于群G中元素z或共轭类