1.4群及同构ppt.pptVIP

返回 后页 前页 前页 后页 返回 * 目录 后页 返回 * 前页 定义1.4.2 ---对称群 §1.4 群的同构 一、群同构的定义 定义1.4.1 ---同构映射 例1 例2 定理1.4.4 ---变换群判定 定理1.4.3 ---群同构是等价关系 定理1.4.2 ---群同构的性质二 例3 二、群同构的性质 定理1.4.1 ---群同构的性质一 三、凯莱定理 一、群同构的定义 是两个群， 定义1.4.1 设 与 是 到 的 则称 为群 到 的一个同构映射(isomorphism), 简称同构.并称群 与群 同构, 记作 群 到它自身的同构映射称为群 的自同构. 一一对应，使得 注 在群同构的定义中, 我们虽然使用了同 一个符号“ ”表示群 与 的运算, 但这仅仅是为 与群 了方便.式 与 分别是在群 中进行的运算,一般来说它们是不相同的.在讨论 具体的群时, 应该用它们各自的运算符号来代替. 例１ 设 是群, 是 的恒等映射: 显然 是一一对应. 又对任意的 所以, 是 的一个自同构,这个同构称为恒等同构. 　 例２ 设 为全体实数组成的加法群, 表示 全体正实数组成的乘法群，则群 与 同构. 证　(1) 对任意的 则 是 到 的映射. (2) 设 如果 (3) 对任意的 , 令 所以 是 到 的单映射. 令 即 则 所以 是 到 的满映射. (4)对任意的 所以 保持运算. 这就证明了 是 到 的同构映射. 注 证明群之间的同构的步骤: 第一步　构作群 与群 的元素间的对应关系 , 并证明 是 到 的映射; 第二步 证明 是 到 的单映射. 由 导出 第三步 证明 是 到 的满映射. 证明存在 使 即对任意的 即对任意的 证明 第四步 证明 保持运算. 即对任意的 二．群同构的性质 定理1.4.1 设 是 到 的同构映射, 与 分别是 与 的单位元, 是 的任一元素. 则 (1) (2) (3) 是可逆映射, 且 的逆映射 是群 到 的 同构映射. 证 (1) 对任意 有 则 由消去律得 (2) 因 所以 为 的逆元. (3) 是 到 的一一对应,所以 是可逆映射, 从而由逆元的惟一性得 且其逆映射 是 到 的一一对应. 我们有 又因为 是单射，所以 这就证明了 是 到 的同构映射. 保持运算. 下面证 定理1.4.2 定义 ,则(1)若 是交换群, 则 也是交换群. (2)若 是有限群,则 也是有限群,且 证　由定理1.4.1我们知道, 与 是一一对应的, 于是,若 是有限群,则 也是有限群,且 下证(1): 若 我们有 于是 也是交换群. 定理1.4.3 群的同构是一个等价关系, 即: (1) (反身性); (2) 若 , 则 (对称性); (3) 若 则 (传递性). 这里, 、 、 都是群. 证 (1)(2)已证(见例1及定理1.4.1(3)).现证(3). 设 是 到 的同构映射, 是 到 的同构映射, 则 是 到 的一一对应. 又对任意的 所以 是 到 的同构映射, 从而 . 例3 设群 是四次单位根群 (见§1.2例7), 是由元素 和关系 和 所定义的群. 问 与 是否同构, 为什么? 这是一个矛盾.从而知 与 不同构. 而 是单射,我们可以得到 解