数学、特に群論における剰余類（じょうよるい、）あるいは傍系（ぼうけい、; コセット）とは、特定の種類の同値関係に関する同値類である。"G" が群で、"H" がその部分群、"g" は "G" の元とする。このとき、を "G" における "H" の（"H" による、"H" に関する、"H" を法とする）左剰余類 といい、を "G" における "H" の（"H" による、"H" に関する、"H" を法とする）右剰余類 という。文献によってはここでいうものと左右が逆になっているものもあるので注意を要する。"H" が正規部分群である場合に限り左剰余類と右剰余類の両概念は一致する（これを以って正規部分群の定義とする場合もある）。剰余類は、"G" において何らかの部分群による左剰余類や右剰余類となるものの総称である。"Hg" = "g"("g"Hg") が成立するから、部分群 "H" についての「右剰余類 "Hg"」というのと、"H" と共役な部分群 "g"Hg" についての「左剰余類 "g"("g"Hg")」というのとでは同じことを言っていることになる。これはつまり「まずどの部分群に関する剰余類を考えているのか」を明らかにすることなしに、その剰余類が右なのか左なのかを云々することには意味が無いということである。アーベル群や加法的に書かれた群では、"g" + "H

出典:wikipedia