15-群同态基本定理.pptVIP

群同态基本定理 离散数学 第15讲 上一讲内容的回顾 群中元素的阶 循环群的定义 循环群中的生成元素 循环群的子群 无限循环群与整数加群同构 有限循环群与相应的剩余加群同构 群同态的基本定理 正规子群 商群 同态核 自然同态 群同态基本定理 同态基本定理的应用 正规子群的概念 定义：群G的子群H是G的正规子群，当且仅当：对任意a?G, Ha=aH。(记法：H?G) 平凡子群是正规子群。 阿贝尔群与正规子群 阿贝尔群的任何子群一定是正规子群。 Ha=aH的充分必要条件是： 对任意hi?H, a?G，一定存在某个hj?H，使得hia=ahj。 (不是：对任意hi?H, a?G, 一定有hia=ahi。) 正规子群的例子 S3, 即{1,2,3}上所有一一对应的函数构成的群： {e,?,?}构成正规子群。 注意：H={e,?}构成子群，但不是正规子群： ?H={?,?}, 而H?={?,?} 又一个正规子群的例子 设G是群，定义G的子集H={a|a?G, 对任意b?G: ab=ba}，则H是正规子群。 H非空(显然单位元素e?H) 封闭性：a1b=ba1, a2b=ba2?(a1a2)b=b(a1a2) 子群：ab=ba ? a-1b=a-1baa-1=ba-1 正规子群：ab=ba (a?H) ? Hb=bH H称为G的中心。 正规子群的判定（1）