>>504
f:H→HN/Nをf(h)=hNで定義するのですか？
>>H/Nの定義はNがHの部分群のときだったはず
でも、NがGの正規部分群なのでHの元hに対してhNh^(-1)=N
が成り立つからH/Nも定義できるのでは？