内部自己同型 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 内部自己同型 へ行く。

* 仮定 [#c9335d3b]

- &mathjax{G}; は群

* 主張 [#cd8b54cb]

任意の &mathjax{g~(\in G)}; を使って写像 &mathjax{\iota}; を &mathjax{\iota: G \longrightarrow G}; を &mathjax{x \longmapsto gxg^{-1}}; と定義する。
このとき &mathjax{\iota}; は同型写像となる。

* 証明 [#ae2093c7]

&mathjax{x, y \in G}; とする。 &mathjax{G(x)G(y) = gxg^{-1}gyg^{-1} = gxyg^{-1} = G(xy)}; であるから &mathjax{G}; はとりあえず群準同型写像である。

同型写像であることを示すには、さらに全単射であることを示せばよい。
&mathjax{\#G = \#G}; であるから、単射あるいは全射であることのどちらかを示せば全単射であることが言える。
&mathjax{|G| = |G|}; であるから、単射あるいは全射であることのどちらかを示せば全単射であることが言える。

ここでは単射を示す。

&mathjax{x, y \in G}; で、 &mathjax{G(x) = G(y)}; とする。 &mathjax{gxg^{-1} = gyg^{-1}}; となるから、両辺に左から &mathjax{g^{-1}}; 、右から &mathjax{g}; をかけることで &mathjax{x = y}; を得る。