同型の質問です
ある命題の証明の途中で同型を示そうと思ったのですが,いまいちわからなかったので,ご助言いただければ幸いです・
命題:
R-加群の完全列{0}→X→Y→Z→{0](φ:X→Y,ψ:Y→Z)について、次の性質は同値:
(1)R-準同型ρ:Y→Xで,ρφ=1xとなるものが存在する;
(2)R-準同型μ:Z→Yで,ψμ=1zとなるものが存在する.
(1x,1zはそれぞれX,Zの恒等写像)
このとき,次の直和分解を得る:
Y=φ(X)○+Ker(ρ) = Ker(ψ)○+μ(Z) ~=X○+Z (○+は直和, ~=は同型を表しています.)
前半の同値性は証明できたので,認めることにします.
後半の証明において,テキストでは,
Y = φ(X) ○+Ker(ρ) ・・・✽
となり,φは単射,ψは全射であるから,
φ(X) ~= X , ・・・(1)
Ker(ρ) ~= Y/φ(X)~=Z ・・・(2)
を得る.
となっていました.(✽までの過程は自力でできたので割愛させていただきます.)
(1)に関しては準同型定理から示せましたが,
(2)がいまいちわかりませんでした.
よろしければご助言お願い致します