使用什么数字集来显示如何将子组视为更大组的翻译？
在许多情况下，如果两个组元素在给定子群的某个元素上不同，则需要考虑相同的两个组元素。例如，在上面的D4中，一旦执行了反射，正方形永远不会通过应用旋转操作（并且没有进一步的反射）回到r2配置，即旋转操作与是否执行了反射的问题无关。陪集被用来形式化这个观点：子群H定义左陪集和右陪集，这可以被认为是由任意群元素g对H的翻译。在符号术语中，包含g的H的左陪集和右陪集是
陪集