商群

對於一個 群 和一個 正規子群 of , N 在 G 中的商群，寫作 並且讀作 “ 模 ”，是 陪集 的集合，這些陪集是 在 中的陪集。商群也稱為因子群。 的元素被寫作 並且在群 在係數 上的通常運算下構成一個 群。因此，

由於 的所有元素都將出現在 恰好一個 陪集 中，該陪集是 正規子群 的陪集，因此得出

其中 表示群的階。 這也是 拉格朗日群定理 的一個結果，其中 且

儘管斜線 符號 與 擴域 的符號衝突，但其含義可以根據上下文確定。