像 のバックアップ(No.1)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• 像 へ行く。
  • 1 (2018-12-11 (火) 13:49:20)

仮定

• \( G_1, G_2 \) は群
• \( f \) は準同型写像 \( f: G_1 \longrightarrow G_2 \)

定義

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