商群

数学において、商群（しょうぐん、英: quotient group, factor group）あるいは剰余群、因子群とは、群構造を保つ同値関係を用いて、大きい群の要素を同一視できる関係により一塊としてみなすことで得られる群であり、それぞれの塊がその群の元となる。例えば、n を法とした加法の巡回群は次の様にして得られる。