>>109と>>110…自演乙。

>>88の文字をそのまま引用するなら、
N：正規部分群(⊆G)
っていうのは準同型定理からしたらKerφのことを言ってるんじゃないか？

ここで、
Kerφ:Gの正規部分群
G":GとKerφの商群
とするならば、新しい演算★が定義されて
G"★G"→G"
が成り立つんだよな？

この定義を成り立たせるためにKerφが正規部分群である必要を証明…。
ごめんわかんないや、他でも成立することにして矛盾を突くのかね？