1.7 商群
§7 商群 在群中,我们定义子集合的运算: 设 A , B A,B A , B 是群 G G G 的两个子集合。定义: A B = { a b ∣ a ∈ A , b ∈ B } AB = \{ ab | a\in A,b \in B \} A B = { a b ∣ a ∈ A , b ∈ B } 即由 A A A 中元素和 B B B 中元素相乘所得的集合。子集乘积满足结合律: ( A B ) C = A ( B C ) (AB)C = A(BC) ( A B ) C = A ( B C ) . 显见:若 A A A 为一子群, B = { b } B=\{b\} B = { b } ,则 A B AB A B 是子群 A A A 的一个右陪集。 对于任意子集合 A A A ,定义: A − 1 = { a − 1 ∣ a ∈ A } A^{-1} = \{ a^{-1} | a\in A \} A − 1 = { a − 1 ∣ a ∈ A } 即由 A A A 中元素的逆元素组成的集合。 注:利用集合运算,我们可将定理1.4.1改写为: 群 G G G 中非空子集合 H H H 为一子群的充要条件是: H H − 1 ⊂ H . HH^{-1} \subset H. H H − 1 ⊂ H . 对于正规子群,我们有如下重要事实: 定理1.7.1 设 H H H 为群 G G