近世代数正规子群.pptVIP

7.5正规子群、商群与群的同态基本定理 定义7.5.1设H为群(G,o的一个子群,若对任意的 a∈G,都有aH=Ha,则称H为G的正规子群 (或不变子群) 若G为交换群,则G的每个子群都是G的正规子 群;反之,由aH=Ha,不能说明元素a与H中的每 个元素都可交换 般的群G,至少有两个正规子群,一个是G的 最小子群{e},另一个是G的最大子群G自身。这 两个子群称为平凡的正规子群 2013-4-22 数学与计算科学学院  例7.5.1设(G,°是一个群,令 Cg={cle∈G,c°g=go,vg∈G} 则C是G的正规子群 证由e∈C知,C是G的非空子集 对a,b 因(a叻b)°g=ao(b°g)=ao(g叻)=(ag)叻=(g。a)叻=g(a), 又al°g=(gloa)=(ag)=goa,所以a∞b,ah∈C 故Cg是G的子群 对a∈G,由于aCg={aclc∈Cg}={ coa c∈Cg}=Ca, 因此Cg是G的正规子群 2013-4-22 数学与计算科学学院  例7.5.2H={(1),(12)}是三次对称群S3的子群 但不是正规子群 因为(13)H≠H(13),(23)H≠H(23), 若取A={(1),(123),(132)},容易验证:A是S3的 子群,并且是由(123)生成的循环子群。又因为 (1)A=(12