第14讲 第2章第11节 同态及不变子群.ppt

定义 引理1 引理2 定理3 （群同态基本定理） 说明： 近 世 代 数(Abstract Algebra) 主讲教师 ： 蔡 炳 苓 （河北师范大学数学与信息科学学院) 第11节 同态与不变子群 若存在群 到群 的同态满射 则称群 与群 同态； 若存在群 到群 的同构映射 则称群 与群 同构. 假定 是集合 到 的一个满射， ，称 为 在 之下的象； ，称 在 之下的逆象. 为 复习： 群 与 同态， 是 到 的同态满射，则 (1) (2) (3) (4) (5) 定理1 (6) 是循环群，则 也是循环群. 群 与 同态， 是 到 的同态满射，则 (2) 证明： 设 是群 到群 的同态映射, 是 的单位元. 称 在 中的所有 的核, 记作 逆象组成的集合为同态映射 例如 是 到 的同态映射 ={全体偶数} 若 是群 到群 的同态满射， 则 证明： 若 是群 到群 的同态映射, 是单射 则 证明： 而 是单射 若 ，则 是单射. 定理2 群 同它的每个商群 定义 称群 到商群 的同态满射 为 的自然同态. 同态. 到 注： 证明： 群 与 同态， 是 到 满射，则 的同态 证明：取 （1）定理2说明任何群都同它的商群同态； 同另一个群 同态， 在同构意义下是 的一个商群. 定理3说明一个群 则这个群 因此，在同构意义下，定理2与定理3的意 思是：每个群能而且只能同它的商群同态. 因此，群的同态象的数目等于商群个数。要研究一个群的全部同态象只需找到它的全部商群，进而只需找到它的全部不变子群 (3)设 与 是有限群，且 则 推论： 循环群的商群也是循环群. 整除 (2)引理1和定理2也说明不变子群与同态之间是一一对应的. 定理4 设 是群 到群 的同态满射, ，则 又 证明：取 (了解) 例4 ，则 证明：