子群的陪集

对于 G 里的任意一个元素 $a$ 显然有

$$aG=G$$

也有

$$GG=\{ah|a\in G\wedge h\in G\}=G$$

---

设 H 是 G 的一个子群，对于任意的 $a\in G$

$$aH=\{ah|h\in H\}$$

称为 H 的一个 左陪集

同样可以定义右陪集

陪集的性质