成了群 "G" 的一个划分：群中的每个元素属于且仅属于一个左（右）陪集。特别地，单位元只在一个陪集中，即是 "H" 自己。因此 "H" 也是所有左（右）陪集中唯一的子群。这个划分称为 "G" 对 "H" 的左（右）陪集分解。 如果定义 "G" 中的等价关系为："x" ~ "y" （"x" 等价于 "y" ）当且仅当"x""y" ∈ "H"，那么 "H" 在 "G" 中的左陪集正是所有不同的等价类。类似的结论对右陪集也成立（当formula_2）。一个陪集的代表元是建立在上述等价关系上的概念。陪集中的每