Let GG be a . For each g∈Gg\in G, the map

cg:G→G,cg(x)=gxg−1c_g:G\to G,\quad c_g(x)=gxg^{-1}

is an automorphism, called the inner automorphism determined by gg. The set of all inner automorphisms is a subgroup Inn⁡(G)≤Aut⁡(G)\operatorname{Inn}(G)\le \operatorname{Aut}(G) of the .

Remarks

The assignment g↦cgg\mapsto c_g is a homomorphism G→Inn⁡(G)G\to \operatorname{Inn}(G) whose kernel is the . Hence there is a natural isomorphism

Inn⁡(G)≅G/Z(G),\operatorname{Inn}(G)\cong G/Z(G),

a quotient measuring how far GG is from being abelian.

Examples
  • If GG is abelian, then cg=idGc_g=\mathrm{id}_G for all gg, so Inn⁡(G)\operatorname{Inn}(G) is trivial.
  • In S3S_3, the center is trivial, so Inn⁡(S3)≅S3\operatorname{Inn}(S_3)\cong S_3.
  • Inner automorphisms are exactly the permutations of GG arising from the .