商群

对于一个 群 和一个 正规子群 of , N 在 G 中的商群，写作 并且读作 “ 模 ”，是 陪集 的集合，这些陪集是 在 中的陪集。商群也称为因子群。 的元素被写作 并且在群 在系数 上的通常运算下构成一个 群。因此，

由于 的所有元素都将出现在 恰好一个 陪集 中，该陪集是 正规子群 的陪集，因此得出

其中 表示群的阶。 这也是 拉格朗日群定理 的一个结果，其中 且

尽管斜线 符号 与 扩域 的符号冲突，但其含义可以根据上下文确定。