剰余類
文献によってはここでいうものと左右が逆になっているものもあるので注意を要する。H が正規部分群である場合に限り左剰余類と右剰余類の両概念は一致する(これを以って正規部分群の定義とする場合もある)。
剰余類は、G において何らかの部分群による左剰余類や右剰余類となるものの総称である。Hg = g(gHg) が成立するから、部分群 H についての「右剰余類 Hg」というのと、H と共役な部分群 gHg についての「左剰余類 g(gHg)」というのとでは同じことを言っていることになる。これはつまり「まずどの部分群に関する剰余類を考えているのか」を明らかにすることなしに、その剰余類が右なのか左なのかを云々することには意味が無いということである。
アーベル群や加法的に書かれた群では、g + H, H + g のような記号で剰余類を表すことがある。