像 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 像 へ行く。

* 仮定 [#c9335d3b]

- &mathjax{G_1, G_2}; は[[群]]
- &mathjax{f}; は群準同型写像 &mathjax{f: G_1 \longrightarrow G_2}; 

* 定義 [#cd8b54cb]

&mathjax{f}; の像 &mathjax{\mathrm{Image} f}; (または &mathjax{\mathrm{Im}f};) とは、 &mathjax{G_1}; の元 &mathjax{x}; から写る先を全て集めた集合 &mathjax{\{f(x) \in G_2; x \in G_1\}}; である。
すなわち普通に像 &mathjax{f(G_1)}; ということかな？

* 環に対する定義 [#x942068e]

環同型写像に対する像も同様に定義する。