陪集

• 定义：$aH=\{ah\mid h\in H\}$。
  • 划分性质：陪集之间要么完全相等，要么互不相交。全体陪集构成了群 $G$ 的一个划分。
  • 判别式：$aH=bH⟺a^{-1}b\in H$。