其真商群为满足极大条件的群的群.doc

其真商群为满足极大条件的-群的群* 张志让，余彬** (成都信息工程学院数学学院 四川 成都610225) 摘要：本文利用外-群的结果，给出了其真商群为满足极大条件的-群但它本身不具备这种性质的群的结构的满意描述。 关键词: -群；外-群；外有限模 MR(2000)主题分类：20F34，20E34 中图分类号:：0152.1 文件标识码 A 依照[6]，若群的每一真商群具有性质，而本身不具备这种性质，则称为外-群，其中为某一种群论性质。对于外-群的研究是无限群论中较有意义的工作， [1-7,10,11]中已列举了若干中已经研究过的外-群。本文将讨论一种新的外-群，其中-群为这样的群: -群为满足极大条件的-群(或简记为-群)，我们称它为外-群。借助于[6]的一些结果，我们将对外-群的结构作出完全的描述。 我们将采用文献[6]、 [8] 和[9]中的记号和术语。 满足极大条件的-群（-群） 若对群中的任一元素，在内仅有有限多个共轭元素，则称为-群。若群的导来群是有限群，则称是-群。 若群的中心在群中的指数是有限的，则称是-群。总所周知，-群是-群， -群是-群。 引理1 若群是有限群由-群的扩张，则是-群。 证：设是有限群由-群的扩张，则存在的有限正规子群，使得是-群。因而对每一，有有限多个共轭元，不妨记为，，…，，从而对任意的元素，存在使得某一个，从而存在使得，由的基数和的选择的有限性，我们可知只有有限多个共轭元。证毕。 定理2下列关于群的性质是等价的： （ⅰ）是-群； (ⅱ) 是-群； (ⅲ) 是-群。 证：由于-群是-群， -群是-群，故我们只需证-群必是-群即可。设是-群，为的中心。由于满足极大条件，从而是有 --------------------------------- *基金项目：国家自然基金资助项目（No.1077180） **E-mail：张志让，zrzhang@；余彬，yubin9746@163.com 作者简介：张志让（1946-），男,江苏宜兴人，硕士，教授，主要从事无限群论研究。 限生成的，可设。又为-群，则是周期的 -群(见[8，14.5.6])，从而是有限生成的周期-群。于是由[8，14.5.8]，可知为有限群。由于是有限生成的且有限，故利用[8，1.6.11]可知是有限生成，从而满足极大条件。再由[8，3.1.7]便得满足极大条件，从而是-群。证毕。 外-群 我们先给出后面要反复应用的关于外-群的几个性质，而省略它们简单的证明。 引理3 设为外-群，则 （1）没有非平凡的有限正规子群； (2) 是次直积不可分解的，即对，，我们有 首先我们指出外-群是外-群。 定理4 外-群一定是外-群。 证: 假设是外-群。若是-群，则对任意的，存在正整数使得，由定理2的证明可知，作为有限生成的-群，满足极大条件。但由及同时满足极大条件，可知满足极大条件，从而是满足极大条件的-群，这与是外-群的定义矛盾，所以不是-群。但其真商群均是-群，由定理2知，它们都是-群.故是外-群。证毕。 与通常研究外群的情形类似，我们在研究外-群时总假设它具有非平凡的Fitting-子群。由定理4我们可以利用文献[6]中关于外-群的结果来研究外-群，并且可以很自然地将外-分成两类：具有非平凡中心的外-群以及具有平凡中心和非平凡Fitting-子群的外-群。 A 具有非平凡中心的外-群 我们给出具有非平凡中心的外-群的一个特征性质。 定理5(1)若为具有非平凡中心的外-群，则是类长为2的无扭幂零群且是有限生成的，同时，是无限循环群且同构于有理数加群的一个子群； (2)反之，若群具有(1)所描述的结构，则具有是非平凡中心的外-群。 证:（i）设为具有非平凡中心的外-群，由定理4，具有是外-群。利用[6，Theoerm（2.1）]，具有（1）所描述的性质。 （ii）假设群具有(i)所描述的结构。若，因为是幂零群，由[8，5.2.1]有。又是周期的，故。作为循环群的真商群， 是有限群。易知是Abel群，从而是-群。又是有限生成的，故是有限生成的。因是-群，故是有限群，所以是有限生成的幂零群，从而满足极大条件。因此是-群。又由为无限循环群知不是周期群，由B.H.Neumann定理(见[8，14.5.9])知不是-群。所以，是具有非平凡中心的外-群。证毕。 推论6若是具有非平凡中心的外-群，则对任意素数p而言都是p剩余群。 推论7（1）若为有限生成的具有非平凡中心的外-群，则是类长为2的有限生成的无扭幂零群，同时是无限循环群； （2）反之，若群具有（i）所描述的结构，则是有限生成的具有非平凡中心的外-群。 B 具有平凡中心和非平凡Fitting-子群的外-群 下面我们考虑具有平凡中心和非平凡Fitt