其真商群是周期FC-群的群.pdfVIP

黝 数学物理学报 http：／／actams．wipm．ac．cn 其真商群是周期 Fc一群的群 张志让 李响 (成都信息工程学院应用数学学院 成都 610225) 摘要：利用外 FC一群的结果，给出了其真商群为周期 FC一群但它本身不具备这种性质的群 的结构的满意描述． 关键词：周期 F 一群；外 F 一群；外周期 F 一群；外有限模． MR(2010)主题分类：20F24；20E34 中图分类号：O152．1 文献标识码：A 文章编号：1003—3998(2015)02—359—05 1 引言 设 P是一个群论性质．依照文献 f6]，若群 G的每一真商群具有性质 P，而 G本身不具 备这种性质，则称 G为外 P一群．对于这类群的研究诱因有两个：一是对于这种 处“于临 界状态 ”的群的研究有助于我们对于理论性质 尸有更深的了解；二是在对于这种群的研究 过程中可能会遇到一些令人感兴趣的关于模的问题．因此对于外 P一群的研究是无限群论 中较有意义的工作，文献 1『—7，10一l1]中已列举了若干 已经研究过的外P一群，特别地文献 f10～1l1研究了当 P为一些特殊类型的FC一性质时的外 P．群，其中FC是任意共轭类均 是有限的群．本文将讨论一种新的外 P一群，其中P一群为这样的群：P一群为周期的 FC一 群，我们称它为外周期 FC一群．借助于文献 … 的一些结果，我们将考虑外周期FC一群． 通常研究外 P一群时总是假设它具有非平凡的Fitting子群，因而本文研究有非平凡的 Fitting子群的外周期 FC一群．容易知道外周期 FC一群不是 FC一群就是外 FC一群．但 是我们可以证明外周期FC一群为FC一群当且仅当它是Abel群，于是它就很 自然地分为 两类：Abel的和非Abel的．所以，我们将在第二节和第三节分别得到这两种类型的局部可 解的外周期 F 一群的完全结构描述． 首先给出后面要反复应用的关于外周期 FC一群的几个性质而省略它的简单证 明． 引理 1．1 设 G是外周期 FC一群，则 (1)G没有非平凡的有限正规子群； (2)G是次直积不可分解的，即对 l≠Ⅳ2qG，i=1，2，我们有 ⅣInⅣ2≠1． 为了方便研究外周期FC一群，我们列举关于FC一群特别是周期 FC一群的相关性质． 引理 1．2 若群G是有限群由FC一群的扩张，则 G是 FC一群． 收稿 日期：2013—05—29；修订 日期：2014—12～17 E—mail：lixiang0628@126．com }基金项 目：国家自然科学基金 11471055)资助 通讯作者 360 数 学 物 理 学 报 Vo1．35A 引理 1．3(参见文献 [8，14．5．7])在任何群 G 中，由有限阶元素组成的有限正规子集生 成一个群的有限正规子群． 引理 1．4(参见文献 [8，14．5．8])周期群 G是 FC一群当且仅当它的每一有限子集含于 一 个有限的正规子群 内． 引理 1．5 设 G是 FC一群，J7vqG，则 G／N 也是FC一群． 证 设 xN 是 G／N 的任意元素．由于 G是 FC一群，故 lG ：ca(x)f。。但是由 CG／N(xN)； IcG()Ⅳ／NI可得 {G／N ：CG／N(xN)l≤{C／N：CG(x)N／NI={G：CG(x)Nl G：CG(x)f。。．所以G／N是 FC群． I 我们将采用文献 [6，8-9]中的记号和术语． 2 Abel的外周期 FC一群 在这一节的开头，我们首先考虑 Abel的外周期FC一群