四、正规子群 定义1315:H为群G的子群当对任意的 g∈GgH=Hg称H为G的正规子群也可称 为不变子群。 例:任意Abe群的子群都是正规子群。 三次对称群S3={eoσ2,o3,4o5}的所 有非平凡子群是:H1={e,o;H2={e,o2} H3={e,o3;H={e,o4,os}。其中只有H4 是正规子群四、正规子群 ▪ 定义13.15：H为群G的子群,当对任意的 gG,gH=Hg,称H为G的正规子群,也可称 为不变子群。 ▪ 例：任意Abel群的子群都是正规子群。 ▪ 三次对称群S3={e,1 , 2 , 3 , 4 , 5 }的所 有非平凡子群是: H1={e, 1 }; H2={e, 2 }; H3={e, 3 }; H4={e, 4 , 5 }。其中只有H4 是正规子群