内部自己同型 のバックアップ(No.1)


仮定

  • \( G \) は群

主張

\( g~(\in G) \) に対し、 \( \iota: G \longrightarrow G \)\( x \longmapsto gxg^{-1} \) と定義する。
このとき \( G \) は同型写像となる。

証明

略。