商群

如果 H 是 G 的 正规子群，则 H 的全体 陪集 aH 构成的新的集合对于 群子集的乘法 构成群，称为 G 对正规子群的商群

$$G/H$$

因为任意两个左陪集的乘积仍然是一个左陪集（陪集的性质），所以满足封闭性，结合律显然，单位元就是 H，$aH$ 的逆元是 $a^{-1}H$

---

构造一个 G 到 $G/H$ 的映射 f （$a\in G$）

$$f(a)=aH$$ $$f(ab)=abH=aHbH=f(a)f(b)$$

所以这个是一个满同态映射，称为 自然同态