正规子群判别.pptVIP

前页 前页 前页 * 目录 后页 返回 * 前页 定理2.2.3 二、正规子群的判别 定理2.2.1 ---子群的等价条件 例6 一、正规子群 定义2.2.1 ---正规子群 例1 例4 例5 定理2.2.2 定义2.2.2 ---商群 例8 例9 例10 例11 例12 例7 例2 例3 三、正规子群的性质 §2.2正规子群与商群 四、商群的定义与性质 一、正规子群的定义 定义2.2.1 设 是群 的子群， 如果对每个 ， 都有 则称 是群 的一个正规子群（subgroup） 或不变子群( invariant subgroup)， 记作 ． 注 在上述定义中， 条件 仅仅表示两个 集合 与 相等.不要错误地认为由 可推出 对 中所有的元素 都成立． 正确的理解应该 是: 对任意的 ， 存在 ， 使 ． 例1 由正规子群的定义容易知道， 群的单位元 子群 和群 本身都是 的正规子群． 这两个正规子 群称为 的平凡正规子群． 如果 只有平凡的正规子 群， 且 ，则称 为单群 ( simple group)． 例2 在 中， 设子群 这时， 所以 同样可得 所以对每个 ,都有 从而 是 的一个正规 子群． 但对子群 ， 因为 ． 所 以 不是 的正规子群． 例3 如果 是交换群,则 的一切子群都是 的 正规子群． 证 因为 所以 ． 例4 设 都是 的子群.如果 是 的正规子 群且 ， 则 也是 的正规子群． 证 显然 是 的子群． 因 是 的正规子群， 所以对任意的 ,有 .特别,对任意的 ， 由于 , 所以也有 . 从而 也是 的正规 子群． 例5 设 为群， 是 的子群． 如果 在 中 的指数 ， 则 是 的正规子群． 证 对任意 ,若 ,则 .若 ， 则 与 是 的两个不同的陪集.因 ,故 ． 同理有 ． 因为 ,而 ,所以 ． 同理有 ． 所以 ．因此 由于 ,由此例可知，次交代群 是次 对称群 的正规子群． 二、正规子群的判别 定理2.2.1设 是群， 是 的子群． 则下列四 个条件等价: (1) 是 的正规子群; (2) 对任意的 ， 有 ; (3) 对任意的 ，有 ; (4) 对任意的 ，有 ． 证 因为 ，所以对任意的 ， 有 ． 因而 因为 ， 所以显然有 ． 由于 ,所以对任意 有 ． 所以 ， 从而 ． 对任意的 ， ， 有 ,所以 从而 ． 反之,对任意的 ， ,有 于是 ，由此得 ． 例6 在 中， 令 证明: 是的正规子群． (1) 如果 ， 则显然有 ． (2) 如果 ，其中 互不相同，且 证 易知 是 的子群.下面证,对任意的 ，有 ．则 因为 可逆，所以 互不相同，且