集合从原始组中执行什么组操作？
这个集合继承了一个组操作（有时称为陪集乘法，或陪集加法）来自于原群G:（G N）•（hN）=（G h）N对于所有G和h-in-G。这个定义的动机是（它本身是上面概述的一般结构考虑的一个实例）与任何元素G相关联的映射G→G/N的陪集gN是群同态，或者通过称为通用属性的一般抽象考虑。陪集e N=N是这个群中的恒等式，商群中的gN的逆是（gN）-1=（g-1）N.e[>
陪集乘法