第三章正规子群和群的同态与同构.pptVIP

第三章 正规子群和群的同态与同构 第一节 群同态与同构的简单性质 第二节 正规子群和商群 第三节 群同态基本定理 第四节 群的同构定理 第五节 群的自同构群 第六节 共轭关系与正规化子 第一节 群同态与同构的 简单性质 ★ 群同态的简单性质 ★ 群同构的简单性质 第二节 正规子群和商群 ★ 正规子群定义和简单性质 ★ 商群及商群的一个应用 ★ 与正规子群密切相关的哈密顿群 和单群 第三节 群同态基本定理 ★ 群同态基本定理 ★ 群同态映射下两个群的子群间 的关系 第四节 群的同构定理 ★ 第一同构定理 ★ 第二同构定理 ★ 第三同构定理 第五节 群的自同构群 ★群的自同构群及其简单性质 ★特征子群与全特征子群 第六节 共轭关系与正规化子 ★群中的共轭关系、正规化子 ★群的中心化子 2) 当 时,由1)和定理2知, 有惟一 的正规子群 使 .又由于在自然同 态 之下有 ,且 的象是 ,故 由第一同构定理知 . 定理3表明,商群 的子群仍为商群, 形,其中 是 的含 的子群;又 是 的正规子群当且仅当 是 的正规子群. 且呈 定理1 设 是一个有代数运算（叫做 的全体自同构关于变换 的自同构群. 乘法）的集合.则 的乘法作成一个群,称为 一 群的自同构群及其简单性质 证 设 是 的任意两个自同构,则对 中任二元素 有 即乘积 也是 的自同构. 又因为对 中任意元素 有 故 即 也是 的自同构.结论得证. 推论1 群 的全体自同构关于变换的乘法 的自同构群,记为 . 作成一个群.这个群称为群 例1 求Klein四元群 的自同构群. 解 把 的四个元素依次记为 .再令 代表 中三个不同的元素,则 是 的任意一个排列.由于自同构把单位元变到 单位元，故根据 中元素的乘法易知，置换 是 的一个自同构。由于三个元素共有6种不 同排列，从而 共有6个自同构。因此，在同 构意义下有 定理2 无限循环群的自同构群是一个2阶 其中 为Euler函数. 循环群;n阶循环群的自同构群是一个 阶群, 推论2 无限循环群的自同构群与三阶循环 群的自同构群同构. 分析:循环群的自同构数目等于其生成元的个数. 定理3 设 是一个群, .则 是 的一个自同构, 的一个内自同构; 的全体内自同构作成一个群,称为群 的内自同构群，记为 . 1) 称为 2) 3) ; 证 1)易知 是 的一个双射变换.又由于 即 ,故 是 的一个自同构. 2)设 与 为 的任二内自同构,则对 中任意元素 有 即 仍为 的一个内自同构.又易知 .因此 3)设 是 的任意一个自同构, 的任意一 是 个内自同构.任取 ,令 ,即 ,则 即 仍是 的一个内自同构.故 . 定义1 对群 的所有自同构都不变的 的任何自同构 的子群,叫做的一个特征子群. 子群,亦即对 注:特征子群一定是正规子群,但反之不成立. 都有 二 特征子群与全特征子群 定义2 设 是群 的一个子群.如果 对 的每个自同态映射都不变,即对 个自同态映射 都有 则称 为群 的一个全特征子群. 的每 , 注: 全特征子群 特征子群 正规子群. 例2 群 的中心 是 的一个特征子群. 证 任取 ,则 即 .结论得证. 注:群的中心不一定是全特征子群. 例3 有理数域 上的2阶线性群 的中心不是全特征子群. 提示:令 是 到自身的一个 映射.可以验证此映射是一个自同态.但是 把中 心元素 变成非中心元素 ,因此 的中心 不是全特征子群. 定理4 群 的正规子群 对于陪集的乘法作成一个群,称为 关于 的商群,记为 . 的全体陪集 由定理可知,对任意整数 和群 中任意 元素 中任意 ,都有 另外,由于商群 中的元素就是 在 中的陪集,因此 定理,对有限群 有 从而有 又根据Lagrange 定理5 设 是一个 阶有限交换群,其中 是一个素数,则 有 阶元素,从而有 阶子群. 提示:对n用数学归纳法可证. 推论 循环群. ( 为互异素数) 阶交换群必为 三 哈密顿群和单群 定义2 设 是一个非交换群.如果 的每个子群都是的正规子群,则称 哈密顿群. 是一个 例4 四元数群 是非交换群显然.其次, 证 首先 是一个哈密顿群. 真子群只有 的 显然 是正规子群.令 则 从而 同理可证 因此, 是一个哈密顿群. 1,2,3,5,7阶群都是循环群,满足交换律, 从而不是哈密顿群;又因为在同构意义下4阶 群只有4阶循环群和Klein四元群,6阶群只有 循环群和3次对称群,所以都不是哈密顿群.因 此四元数群(8阶)是阶数最小的哈密顿群. 定义3 阶大于1且只有平凡正规子群的群, 称为单群. 结论:1)素数阶群都是单群;三次对称群不 是单群. 2