>>500
そもそもg:G→G/Nの自然な準同型から導かれるので
f(h)=g(h)=hN
H/Nの定義はNがHの部分群のときだったはず
HがNを含むかどうかわからない、HNなら含む