coset

スポンサーリンク

剰余群

Gを群,Nをその正規部分群とする. このとき, 任意のa\in Gに対してaNa^{-1}=Nであるから,aN=Na. つまり, 左剰余類と右剰余類は一致する.するとG/Nに自然に積を定義することが出来る. この群をGのNによる剰余群(residue class group)や商群(qoutient group)という.
スポンサーリンク