群GとGの正規部分群Nから作られる商集合G/N上の演算を適当に定めるとG/Nは群（商群）になる。
環RとRのイデアルIから作られる商集合R/I上の演算を適当に定めるとR/Iは環（剰余類環）になる。