离散数学结构 第11章 半群与群-2.docVIP

PAGE PAGE 19 第十一章 半群与群 11.5 正规子群与商解 主要内容 1．正规子群的定义及实例。 2. 正规子群的两个判别定理以及相应的四种判别方法。 3. 商群的定义及其实例。 学习要求 1. 掌握正规子群的判别方法。 2. 给定群G和它的正规子群H，会求商群G/H。 一、正规子群的定义及实例 1．正规子群的定义 定义11.10设H是群G的子群。如果a∈G都有Ha=aH,则称H是G的正规子群,记作HG。 任何群G都有正规子群,因为G的两个平凡子群,即G和{e},都是G的正规子群。如果G是阿贝尔群,G的所有子群都是正规子群。 2．正规子群的实例 例11.16 设A={1,2,3},f1,f2,…,f6是A上的双射函数。其中 f1={1,1,2,2,3,3},?? f2={1,2,2,1,3,3} f3={1,3,2,2,3,1}, f4={1,1,2,3,3,2} f5={1,2,2,3,3,1}, f6={1,3,2,1,3,2} 令G={f1,f2,…,f6},则G关于函数的复合运算构成群。G的全体子群是： H1={f1},?????? H2={f1,f2},?? H3={f1,f3} H4={f1,f4},H5={f1,f5,f6}, H6=G 不难验证,H1,H5和H6