在数学中,给定一个群 g 和 g 的正规子群 n,g在 n 上的商群或因子群,在直觉上是把正规子群 n“萎缩”为单位元的群。商群写为 g,n 并念作 g mod n (mod 是模的简写)。如果 n 不是正规子群,商仍可得到,但结果将不是群,而是齐次空间。