Let GG be a .

Definition. The is the map

G×G→G,(g,h)↦ghg−1.G\times G \to G,\quad (g,h)\mapsto ghg^{-1}.

This is a of GG on the manifold GG.

Remarks

Orbits and s.

  • The of h∈Gh\in G is its , an example of an of a Lie group action.
  • The stabilizer of hh is its centralizer CG(h)={g∈G:gh=hg}C_G(h)=\{g\in G:gh=hg\}, a closed subgroup; compare and the .
  • The kernel of the action is the Z(G)Z(G).

Infinitesimal picture. Differentiating conjugation at the identity yields the Ad:G→Aut(g)\mathrm{Ad}:G\to \mathrm{Aut}(\mathfrak{g}), so conjugation is the global geometric source of the adjoint representation.