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


(定理) R-加群の準同型定理

仮定

  • \( R \) は環
  • \( M_1, M_2 \) はR-加群
  • \( f: M_1 \longrightarrow M_2 \) はR-準同型

主張

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

証明

後々加筆する。