R-加群上のR-同型写像

R-加群のR-同型写像

仮定

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

定義

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

その他

• このとき \( M_1 \simeq M_2 \) とかき、 R-同型という。