>>569
>>461は「類別がうまくいく」ことの証明になっている。
出題したのは「演算がうまくいく」こと、
つまり、代表元の取り方に依存せず「積が」定義できていることの証明。これは別の話。

現に、せっかく>>425で
＞剰余群 G/Nの積を、giN*gjN＝gi*gjNで表す
と定義したのに、>>461では全くこの積が現れない。

で、代表元の取り方に依存せず積が定義できている、というのがまさに
「g,g',h,h'∈G に対し、gN=g'N かつ hN=h'N ならば g*hN=g'*h'N」
ということなんだが、伝わってなかったんかな・・・