群在初等可换群上的二次作用.pdfVIP

已l 吉 J . ‘二 M .A schbache:指 出，有 限群 的研 究方 法 ，可 以归结为群 在 以下 四种 结构上 的 作用 :集合 ，向量 空 间，群和其它代数结构 ，图和其它 (组合 )几何结构 . 考察群 在 向量 空 间上 的作 用 ，实 际上是把所 给 定 的群看 作 向量 空 间上 的线性变 换群 . 这样 ，我 们就 可 以利用线性代数 的结果 . 这 一方法早在 19 世 纪末 由 F roben 。‘ 等 人所 创立 ，并且 形 成 了一个 独 立 的代 数 学 分支 一 群表 示论 . 20 世 纪 70 年 代 以来 ，一些学者进 一 步把 抽 象群论方 法 和 线性 代 数方 法 结合 起 来 ，从 而更好 地 刻 画群 的结 构 和性 质 3【，51. 考 虑 群 在 向量 空 间上 的作 用 时 ，一个 典 型 而 又广泛遇 到 的情 况 就 是 群 在 初 等 可换 群 上 的作 用 . 在本 文 中，我 们考虑 群 在 初 等 可换群 上 的二次作用 . 本 文 选题 的意义在于 以下两个方面 : 一 、由于二次作用群 中，除单位元 以外 的每一 个 元 素在 被 作 用 群 上 的极 小 多项 式均 为 二 次 的 ，因此 具 有 许 多很 好 的性 质 . 二 、许 多非二 次作用 的情 况 ，可 以通过 一定 的 “技术 处理 ”而 转换 为二 次作用 间题 . 二次作用 的重要性 还 在 于 ，它 与一些 “自然模 ”有着 十分 密切 的关 系 . 寻求有 限单群 中的 自然模 结构 ，是考查 某些 有 限单群 的重 要 手 段 . 在本文 的第 三 部 分 ，我 们将 重 点讨 论 二 次 作 用 与 自然 模 的关 系 . 一 预 备 知 识 本 文 所 用符 号均 取 自与参 考 文 献 1【，2}. 为 了下文讨 论 的方 便 ，我 们先 给 出 一些本 文 中多次 用 到 的定 义 和 结论 . 定义 L l 设 p 是 素数 ， 吞 是 p 阶循 环群 . 又 设 n 是 正整 数 ， G 为 n 个 这 样 循 环群 的直 积 ，即 G 易 x 易 x … X 凡 则 显然 G 是 尸“阶交换 群 ，我 们称 之 为 户 阶初 等可换 群 . 引理 L Z (l【]) 设 G 是 户 阶初 等可换 群 ，则 (1)v 一兴。。G ，有 。(。) 二尹 (2)G 同构 与 G 侧功 上 n 维 向量 空 间 定义 1.3 设 G 和 H 是 给 定 的有 限群 . 若 沪是 H 到 A ut (自 的一个 同态 映射 ， 我们就称 沪为 H 在 G 上 的一个作用. 我们称 尹为忠实作用 ，如果 K er功 l;而 称 沪为平 凡作用 ，如果 K er沪二H. 定 义 L 4 设 沪为 H 在 G 上 的一个 作 用 . 如 果 G 中存 在 非平 凡 的 H 一不变 子 群 ，则 称 作 用 沪为 可 约 的 ，否则 称 为 不 可 约 的. 定 义 L S 设群 H 作 用 在 群 G 上 (l) 规 定 几 (川 {g 任引 少 g ，Vh 〔H } 即 CG (H ) 为群 H 在 群 G 中的不 动 点 的集 合 . 规 定 心 (必 二 {h 任H }护 g ，为 任G } 即 饰 (G ) 为 群 H 在 群 G 上 的作 用 核 . (2) 设 g 任民h 任H ，我 们 规 定 陌，九卜 夕一。‘h 2 同时规 定 !G ，h 」 ([夕，h]}夕 〔G ，h 任H ) {G ，H l ([。，h]}夕任G ，h 任H )