矩阵的有理标准形在群构造中的应用.pdfVIP

第2O卷 第4期 青 岛大学学报 (自然科学版 ) V01．20 No．4 2 O 0 7年 1 2月 JOURNAL OF QINGDAO UNIVERSITY(Natural Science Edition) Dec．2 0 0 7 文章编号：1006—1037(2007)04—0013～O6 矩阵的有理标准形在群构造中的应用 杨晓萍，海进科 (青岛大学数学科学学院，青岛266071) 摘要：利用矩阵的有理标准形作为工具，通过找出有限群G的Fitting子群的自同构的阶 来确定群G的生成关系。给出了阶为2 ( 一5，7)的群的构造，即2 5阶群G有52种互 不同构的类型。2 7阶群G有45种互不同构的类型。且我们的证明方法比较简单。 关键词：Fitting子群；超可解群；群作用；群扩张 中图分类号：O152．6 文献标识码：A 设群G的阶为24P，Sz∈ z zG，S ∈ z 。则G—SzS ，若S G，则G是循环被超可解的扩张，这 样G是超可解群。对于这种情况处理是较简单的。由文献[1]知： 引理1 2 7阶超可解群G有42种互不同构的类型，即文献[1]表中的群(1)～(42)。 引理2 2 5阶超可解群G有51种互不同构的类型，即文献[1]表中的群(1)～(51)。 引理3 2 3阶超可解群G有42种互不同构的类型，即文献[1]表中的群(1)～(42)。 然而，s 不正规于G时，这种情况的讨论是比较麻烦的。尽管文献[1]中告知可以类似于文献[2]中求 2sP阶群的方法得到，但文献[1]中并没有给出详细证明，由于文献[2]讨论2sP阶群的构造，在s 不正规于 G情况下，方法较麻烦，且篇幅相当大，这给读者造成不便。 本文利用一种新的方法，即利用矩阵的有理标准形来确定群的生成关系，从而也得到2 P阶群的构造， 并且这种证明思路简明． 遍及这篇文章，我们总假设G是有限群，阶为24P(P一3，5，7)，S ∈ z ，S 不正规于G。限于文章 的篇幅，我们只给出了P一5，7两种情况。P一3的情况在另一篇文章中给出。在文献[3]中有关矩阵的有理 标准形的概念和结果都可以类似推广到域 上，在此，我们不讨论。其它的记号和术语是标准的，参见文献 [2]，[3]。 l 预备知识 引理4 设G的阶为2 P，F(G)是G的Fitting子群，则 1 G／F(G)1整除1 Aut(F(G))1。 证明 因为G的阶为2 P，由Burnside定理知，G可解，这样F(G)≠1。又由于S 不正规于G。所以1 F(G)1—2，2 ，2。，2 ，由N—C定理，则G／CG(F(G))同构于Aut(F(G))的子群。而 (F(G))≤F(G)， F(G)／Z(F(G))兰 Inn(F(G))。于是 G／F(G)同构于 Out(F(G))的子群，其中 Out(F(G))一 Aut(F(G))／Inn(F(G))，从而1 G／F(G)1整除1 Aut(F(G))1。 引理5 设 1 F(G)1—2，则不存在阶为2 P的群。 证明 因为 『Aut(F(G))f一1，由引理4即得。 引理6 设 1 F(G)1—2 ，则不存在阶为2 P的群。 收稿日期：2007—06—26 基金项目：国家自然科学基金项目 作者简介：杨晓萍(1981一)，女，山东人，硕士，从事群理论方面研究。 14 青岛大学学报(自然科学版) 第20卷 证明 因为 f Aut(F(G))f一2，F(G)三三三Z2z。f Aut(F(G))I一2×3，F(G)竺Z2×Z2。由引理4即 得。 引理7 设 I F(G)l一2。，则24P阶群的存在性情况：如表1所示。 表1 I F{G)I一2。时，2 P阶群的存在性 证明 由引理4易知。 引理8 设 I F(G)I一2 ，则24P阶群的存在性情况：如表2。