代数学ー群ー写像

群G,G'に対し、写像
φ：G×G'→G
　　（x,y）→x
を考える。次の問いに答えよ。
（１）φは群準同型写像であることを示せ
（２）Kerφは何か
（３）群同型写像G'→Kerφを作れ
（４）G'とKerφを同一視することによってG'がG×G'の正規部分群とみなせる　G×G'/G'がGと同型を示せ

教科書を何度読んでも（２）から、わかりませんでした。解答も略解なので、試験のときどういう解答を書けばよいか解答例を教えてください。

No.2 回答者： muturajcp 回答日時： 2010/03/19 05:03

群G,G'に対し、写像

f:G×G'→G , f(x,y)=x
(1) f((x,y)(a,b))=f(xa,yb)=xa=f(x,y)f(a,b)
(2)Ker(f)={(1,y)|y∈G'}の証明
Ker(f)⊂{(1,y)|y∈G'}の証明
(x,y)∈Ker(f)={(x,y)∈G×G'|f(x,y)=1}
→1=f(x,y)=x→(x,y)∈{(1,y)|y∈G'}→Ker(f)⊂{(1,y)|y∈G'}
{(1,y)|y∈G'}⊂Ker(f)の証明
(x,y)∈{(1,y)|y∈G'}→x=1→f(x,y)=f(1,y)=1→(x,y)∈Ker(f)→{(1,y)|y∈G'}⊂Ker(f)
→Ker(f)={(1,y)|y∈G'}

(3)g:G'→Ker(f) , g(y)=(1,y)とするとgは同型写像となるの証明
g(ab)=(1,ab)=(1,a)(1,b)=g(a)g(b)→gは準同型
g(a)=g(b)→(1,a)=(1,b)→a=b→gは単射
(x,y)∈Ker(f)={(1,y)|y∈G'}→x=1→(x,y)=(1,y)=g(y)→gは全射→gは同型写像

(4)h:(G×G')/G'→G , h((x,y)G')=xとするとhは同型写像となるの証明
h((x,y)G'(a,b)G')=h((xa,yb)G')=xa=h((x,y)G')h((a,b)G')→hは準同型
h((x,y)G')=h((a,b)G')→x=a→(x,y)(a,b)^{-1}=(xa^{-1},yb^{-1})=(1,yb^{-1})∈Ker(f)=G'
→(x,y)G'=(a,b)G'→hは単射
x∈G→h((x,1)G')=xとなるからhは全射→hは同型写像

No.1 回答者： ojisan7 回答日時： 2006/02/07 00:07

>ご自分の判断や不明点の説明もなく回答のみを求める質問はマナー違反であり

ということですのでご注意下さい。「（２）から、わからない」ということは、（１）は、わかったということですね。でも、わたしは、（１）がわかりません。群の直積G×G'はどんな群として定義されているのか、がわかりませんから、答えようがありません。それがわかれば、（２）以降の問題はすべて基本問題です。教科書を良く読んで、もう一度考えてみて下さい。それでも、わからなければ、わかるところまで、ご自分の回答を示して下さい。