15/03/08 20:21:51.87 AXAfK1QO.net
>>478 つづき
”証明すべきことは
「g,g',h,h'∈G に対し、
gN=g'N かつ hN=h'N ならば g*hN=g'*h'N」という命題。 ”
（証明のあらすじ）
１．実質は、>>461のエム・ポストニコフで終わっている
２．それに、Nが正規部分群であることを組み合わせる
この場合、下記の中の「G の任意の元 g に対して gN = Ng が成立する」が使い易いだろう
URLﾘﾝｸ(ja.wikipedia.org) 正規部分群