[1] [[群]] [CODE(math)[[VAR[G]]]] の[[部分群]]
[CODE(math)[[VAR[H]]]] による[DFN[剰余類]]:
- [CODE(math)[{[VAR[g]] | ([CODE(math)[g]], [VAR[g']] ∈ [VAR[G]]) [VAR[g]] ≡ [VAR[g']] (mod [VAR[H]])}]]