离散数学chap17.pdf

§1.7 正规子群、商群 [本节主要内容] 1）正规子群的定义； 2）正规子群的判定定理； 3）商群及与正规子群的关系； 定义1 群子集：设G为群 ，对任意 的集合A，满足 A G 称A为群子集。记为 ： G   2 A A为G的群子集 群子集上的乘法：对 A ，B 2G   A B a b a A b B G 则为 上的二元代数运算 2 对A 2G ，记 1 1  A a a A 显然若A为G的子群，则: A1 A 定理1 设G为群，则对 A , B , C G 有 （AB）C＝A （BC），若H是G的子群 则:HH H , H 1 H , HH 1 H 定理2 设A，B为群G的子群，则AB是G 的子群的充要条件是AB=BA S N {(1), (123), (132)} 例1 在 中 为其子群 3 (1)N N (1) N (12)N N (12) {(12), (23), (13)} (13)N N (13) {(12), (13), (23)} (23)N N (23) {(12), (23), (13)} (123)N N (123) N (132)N N (132) N 即对a S3 均有aN Na 定义2 设H为群G的子群，若对a G 有aH＝Ha，则称H是G的正规子群。 例2 交换群的子群。 {e}均为正规子群。 定理3 设H为群G的子群，则下列 三命题等价： 1）H是G的正规子群(即 aH Ha ) 1 2）a G , aHa H 1 3） a G , aHa H 定理3的应用举例： 例3 (M n ,)表示所有n×n的可逆实矩阵 H M 关于矩阵乘法运算构成群。 是 n 中 全体行列式为1的矩阵集合，则 是 M H