R-加群上のR-同型写像 のバックアップ(No.1)


R-加群のR-同型写像

仮定

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

定義

\( f \) が全単射であるとき、 \( f \) をR-同型写像という。

その他

  • このとき \( M_1 \simeq M_2 \) という。