d "N"（"mod"是模的简写）。如果"N"不是正规子群，商仍可得到，但结果将不是群，而是齐次空间。
群的子集的乘积.在随后的讨论中，我们将使用在"G"的子集上的二元运算：如果给出"G"的两个子集"S"和"T"，我们定义它们的乘积为"ST" = { "st" : "s"∈"S"并且"t"∈"T" }。这个运算是符合结合律的并有单位元为单元素集合{"e"}，这里的"e"是"G"的单位元。因此，"G"的所有子集的集合形成了在这个运算下的幺半群。凭借这个运算我们可以首先解释商群是什