Conjugation action of a Lie group on itself

The smooth action of a Lie group on itself given by sending an element to its conjugate by another element.
Conjugation action of a Lie group on itself

Let GG be a . The conjugation action of GG on itself is the map

C:G×GG,C(g,h)=ghg1. C:G\times G\to G,\qquad C(g,h)=ghg^{-1}.

This is a smooth left action: one has C(e,h)=hC(e,h)=h and C(g1,C(g2,h))=C(g1g2,h)C(g_1,C(g_2,h))=C(g_1g_2,h) for all g1,g2,hGg_1,g_2,h\in G. For each fixed gg, the map hghg1h\mapsto ghg^{-1} is a of GG, with inverse given by conjugation by g1g^{-1}.

Differentiating the conjugation map at the identity in the second variable yields the on the Lie algebra: Adg=(dCg)e\mathrm{Ad}_g=(\mathrm{d}C_g)_e where Cg(h)=ghg1C_g(h)=ghg^{-1}.

Examples

  1. Abelian groups. If GG is abelian, then ghg1=hghg^{-1}=h for all g,hg,h, so the conjugation action is trivial and every conjugacy class is a point.
  2. Similarity of matrices. For G=GL(n,R)G=\mathrm{GL}(n,\mathbb{R}), conjugation is C(A,B)=ABA1C(A,B)=ABA^{-1}; its orbits are similarity classes, which control Jordan normal form over algebraically closed fields.
  3. Normal subgroups via conjugation. A subgroup NGN\subset G is normal if and only if it is invariant under conjugation: gNg1=NgNg^{-1}=N for all gGg\in G.