同値類は同値関係で類別した部分集合
同値関係は反射律対称律推移律
剰余類は群を部分群という同値関係で類別した類
つまり同値類である
商群とは剰余群のこと
つまり剰余類全体の集合が群となるとき剰余群という
このとき右剰余類と左剰余類が一致する
つまり正規部分群となる