R-加群上のR-準同型写像 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• R-加群上のR-準同型写像 へ行く。

* 仮定 [#c9335d3b]

- &mathjax{M_1, M_2}; はR-加群
- &mathjax{f}; は写像 &mathjax{f: M_1 \longrightarrow M_2};

* 定義 [#cd8b54cb]

&mathjax{f}; がR-準同型であるとは、次を満たすことである:
+ &mathjax{f}; がアーベル群 &mathjax{M_1, M_2}; の間の群準同型である。
+ 任意の &mathjax{r ~(\in R), m ~(\in M)}; について、 &mathjax{f(rm) = rf(m)}; が成立する。

* 例 [#ae2093c7]