回答

✨ ベストアンサー ✨

以下、同型の記号が使えないので、=で書くことにします。

(1)はfとpが全射なので、gも全射です。
これから、Im(g)=G2/H2です。

(2)Ker(p)を求めると、pが自然な射影であることから、Ker(p) = H2 となります。
されに、H1の定義から、Ker(g) = H1となります。

(3) (1)と(2)を用いて、群準同型定理により従います。

TK

わかりやすい解説ありがとうございました。
また一歩理解に近付けました。

この回答にコメントする
疑問は解決しましたか?

この質問を見ている人は
こちらの質問も見ています😉