无限亚局部循环群及其自同构群.pdfVIP

中国科学 数学 年 第 卷 第 期 无限亚局部循环群及其自同构群 ∗ 廖军 刘合国 北京大学数学科学学院 北京 湖北大学数学系 武汉 收稿日期 接受日期 通信作者 国家自然科学基金批准号 资助项目 摘要 作为之前工作的继续 本文研究了无限亚局部循环群的结构以及它们的自同构和自同构群 设 A, B 分别是秩 的无挠 群 G 为n 阶循环群 群E 是A 被G 的扩张 G 被A 的扩张或者A 被 B 的扩张 讨论了群E 的结构以及它们的自同构 并得到了它们的自同构群 关键词 自同构群 群扩张 稳定自同构 亚局部循环群 主题分类 引言 本文采用 中的术语和符号 记n 阶循环群为Zn 若运算写成乘法时记为 Cn 称一个群 G 是 局部循环的 如果其任意有限生成子群都是循环群 称一个群G 为亚局部循环群 如果群G 是局部循 环群被局部循环群的扩张 例如 有理数加法群Q 和Q/Z 的子群都是局部循环的 除特别声明外 约 定用α 表示 群的典型二阶自同构 除初等 群外 即如果设A 为 群 则α ∈ A 对任意的a ∈ A 有α a −→ −a 群G 的挠子群记为G 群G 的自同构群记为G 对G 的子 群N 记 N G {φ ∈ G|N φ N }, 称它是子群N 的稳定自同构群 见 文 对分裂扩张的稳定自同构群进行了研究 文 中研究了无限亚循环群的自同构 得到了它 们的自同构群 并且给出了无限亚循环群G 的自同构都是内自同构当且仅当G 同构于无限二面体群 D 或者Z Z l 其中p 为奇素数 l 为正整数 ξ 把 Z 的生成元 映射为ξ m 时 p m 并且 ∞ ξ p Z l Z∗ Z l− ⟨m⟩ 进一步 本文在 的基础上 用秩为 的无挠 群A 代替其 p pl p p − 扩张中的无限循环群 Z 注意到 Z A Q 因此这类群可以认为是无限亚循环群类的一个推广 本 文将研究其扩张类型以及相应的自同构群 预备知识 本文用到 定理 的结论 为了方便我们重述此定理并介绍相应的符号 设A 为 群 H 为任意群 一个群同态θ H → A 使A 成为一个H 模 即ah aθh H 模A 被H 的扩张是一 英文引用格式 廖军等 无限亚局部循环群及其自同构群 个群的正合列 → A → G → H → , 如果此序列是分裂的 则称G 是H 模A 被H 的分裂扩张 则G ∼ H A 即为H 与A 的半直积 如果α ∈ G 使得αA A 则称α 是G 的稳定A 的自同构 G 的所有的稳定自同构的集合记作 A G {α ∈ G|Aα A} 显然构成一个群 对H 模A 在映射的加法下有以下 群H, A {δ H → A} 其中δ 为导子 即对任意 δ δ h δ 的h , h ∈ H, h h h h 成立 任意的β ∈ H 同态βθ H → A 使A 成为一个H 模记为Aβ 设γ A → Aβ 是H 模 同构 即对任意的a ∈ A, h ∈ H 有 ahγ aγ hβ . ′ 若γ A → A 是H 模同构 则任意β