有限生成的子群为3一生成的可解群料.pdfVIP

有限生成的子群为3一生成的可解群料.pdf

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
有限生成的子群为3一生成的可解群料.pdf

数 学 年 刊 19A:1(1998),21-26. 有 限生 成 的子群 为3一生成 的可解群 料 卜 刘合 国 =() 提 要 设 G是十可解群.G的每十有限生成子群都是3-生成的.则当G古有无限阶元时.G(。)=L 但当 G为挠群时.G的导出长度是布能被界定的. 关键调 . 生 皂旦塑篓:逸i 一群r导出长度 MR (1991)主题分类 20F16 -3_群,可研 . 中国法分娄 0152 牖戌 群. 设p为素数,对任意的Abel群A.用ro(A),似)分别表示A的0-秩和p-秩 本文定义A的秩为 r(A):ro(A)+max{rp(A)】. 明显地.若r(A)=r。。,则 A的任意有限生成的子群均为r一生成的.借助于群的正规 列的商因子的特征.我们引入 }n一群的概念. 若群G有个正规列的商因子都是秩 ≤n的Abel群,则称G的宽度 (breadth)≤ 此时称G为B一群.显然,B 群对子群和商群都是封闭的. 在多重循环群的场合,上述定义与 [3]是一致的.对某些宽度 3的多重循环群.我 们可以从其有限商群的特征入手.得到这类群的整体性质,例如 [4】等.对于一个无限的 Abel群 A,它的秩KA)与其极小生成元组的基数 d(A)可能相差甚远.因此处理一般的 B一群就比处理多重循环群困难得多.但是,通过对局部循环群的自同构群及GL(2,0) 的有限于群的分析,我们可以得到如下的 引理 1 设G是个 Bl一群,则有 (i)G的换位子群是幂零的. ㈤ G有如下形式的正规列 1= Go ( --· G{+£ --· G +t+ = , 其中G /Gl—l为无限的局部循环挠群,GS/Gj—l为秩 1的无挠 Abel群, 1 s, s+1 ≤8+ ,Gk/Gk一1为素数阶循环群, s+ +1≤k 8+ +r,且素数按从大到 小的顺序排列. 车文 1996年 5月22 日收到. ·湖北大学数学系.武攫 430962. ·国家 自然科学青年基金资聃时项目 数 学 年 刊 l9卷A辑 (iii)设素数P≥3, 表示所有 ≥P的素数的集合,则 G的 一元作成 G的一个特 征子群. 引理 2is] 设G是个 B2一群,则有 (i)G有如下形式的正规列 1=Go G ··- G+ ·-- Gl+t+, G 其中1到 G+‘的商因子均为无限群, Gt/G一‘1 口/zoQ/z (1 i s), /GJ一1 口。口 (s+1 j 8+t), Gs“到 G卧 的商因子为秩 2的初等Abel群,且素数按从大到小的顺序排列.而 G/+押‘ (山 ×… ×A|) F, E为初等Abel2-群,E忠实作用于A|x… ×A4且使每个直因子不变. , (ii)设素数g3, 为 ≥口的素数作成的集合,则G的 一元构成G的—个特征 子群. 借助于上述引理,在 [5]中得到了有限生成的子群均为2_生成的可解群的结构,其 ’ 证明较多重循环群矧困难得多.本文.我们要讨论有限生成的子群均为3一生成的可解 群的结构.在证明过程里,我们将不加说明地引用下列事实. (1)设 是秩n的无挠Abel群,则其白同构群 Aut(A) GL(n,口). (2)设 是秩r的Abel群,则对任意的自然数n,A/nA 磊 o… o (r项). (3)Aut(Q)= o(0z),其中 表示非零有理数作成的乘群,p取

文档评论(0)

jackzjh + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档