R-加群の準同型定理 のバックアップソース(No.2)

* (定理) R-加群の準同型定理 [#hcad20fe]

** 仮定 [#uc306db7]

- &mathjax{R}; は環
- &mathjax{M_1, M_2}; はR-加群
- &mathjax{f: M_1 \longrightarrow M_2}; はR-準同型

** 主張 [#f2274f05]

&mathjax{M_1/\mathrm{Ker}f \simeq \mathrm{Image}f};
&mathjax{\simeq}; はR-加群としての同型である。

* 証明 [#m05ff4ad]

後々加筆する。