点群
正規部分群C3では右剰余類と左剰余類が一致する(C3σv1 = σv1C3)。よって剰余類の積を定義すると、それらの剰余類は群をなすことがわかる。このような剰余類を元とする群のことを商群(または剰余群、因子群)と呼び、C3v/C3と表す。
C 3 v / C 3 = { C 3 , C 3 σ v 1 } {\displaystyle {\boldsymbol {C_{3v}}}/{\boldsymbol {C_{3}}}=\{{\boldsymbol {C_{3}}},{\boldsymbol {C_{3}}}\sigma _{v1}\}}
商群C3v/C3では、正規部分群C3が単位元となる。点群の場合と同様に、商群についても次のような積表を作ることができる。