抽象代数学习笔记（14）商群

上一次提到“商”这个字眼，还是在讲商集的时候。我们将商集看做是以等价关系对集合的一个划分。现在我们更进一步，提出商群的概念。

如果 $N$ 是不变子群，那么利用 $N$ 可以导出　$G$ 上的一个等价关系，　$a~b$ 当且仅当　$a^{-1}b\in N$ ，也就是 $a,b$　同属于　$N$ 的一个左陪集。

（证明：
首先$a^{-1}a\in N$，说明关系满足自反性；其次，因为$a^{-1}b\in N$,所以$a(a^{-1}b)a^{-1}=ba^{-1}\in N,b(a^{-1}b)b^{-1}=ba^{-1}\in N$，满足对称性；$a^{-1}b\in N,b^{-1}c\in N$，则a−1bb