对于任意给定的??Aut(G)和a?G,我们有
(??1a??1)(x)??(a??(x)a?1)??(a)x?(a?1)
??(a)x(?(a))?1???(a)(x),?x?G,
从而,???1a????(a)?Inn(G)Inn(G).因此Inn(G)?Aut(G). 最后,定义G到Inn(G)的映射f如下:
f(a)??a,?a?G.
显然f是满射.由于
f(ab)??ab??a?b,?a,b?G,
因此f是满同态.另外,对于任意的a?G,我们有
a?Kerf?f(a)??1e??a??e?axa??x,?x?G
?ax?xa,?x?G?a?C(G).
因此Kerf?C(G).这样一来,根据同态基本定理可以断言,Inn(G)?G/C(G). 41