Math 2.0

Topological groups, Lie groups Definition

Adjoint representation of a Lie group

Builds on Lie groupInner automorphismDifferential of a smooth mapZariski tangent spaceGroup representation

Definition

Let GG be a Lie group with identity ee and Lie algebra 𝔀=TeG\mathfrak{g} = T_eG, the tangent space at ee. For g∈Gg \in G, let Cg ⁣:Gβ†’GC_g \colon G \to G, Cg(h)=ghgβˆ’1C_g(h) = g h g^{-1}, be the inner automorphism given by gg. Since Cg(e)=eC_g(e) = e, its differential at ee is a linear map Ad⁑(g)=(dCg)e ⁣:𝔀→𝔀\operatorname{Ad}(g) = (dC_g)_e \colon \mathfrak{g} \to \mathfrak{g}. The adjoint representation of GG is the map Ad⁑ ⁣:Gβ†’GL(𝔀),g↦Ad⁑(g).\operatorname{Ad} \colon G \to GL(\mathfrak{g}), \qquad g \mapsto \operatorname{Ad}(g).

Remarks

From Cgh=Cg∘ChC_{gh} = C_g \circ C_h and the chain rule, Ad⁑(gh)=Ad⁑(g)Ad⁑(h)\operatorname{Ad}(gh) = \operatorname{Ad}(g)\operatorname{Ad}(h), so Ad⁑\operatorname{Ad} is a representation; it is also smooth.

Example: for G=GLn(ℝ)G = GL_n(\R) and 𝔀=Mn(ℝ)\mathfrak{g} = M_n(\R), the map CgC_g is the restriction of the linear map X↦gXgβˆ’1X \mapsto g X g^{-1} of Mn(ℝ)M_n(\R). So Ad⁑(g)X=gXgβˆ’1\operatorname{Ad}(g)X = g X g^{-1}.

Non-example: the map g↦(dLg)eg \mapsto (dL_g)_e, with Lg(h)=ghL_g(h) = gh, does not define a representation on 𝔀\mathfrak{g}. For gβ‰ eg \ne e, LgL_g does not fix ee, so (dLg)e(dL_g)_e sends TeGT_eG to TgGT_gG, not to 𝔀\mathfrak{g}.

The differential of Ad⁑\operatorname{Ad} at ee is the adjoint representation ad⁑\operatorname{ad} of the Lie algebra 𝔀\mathfrak{g}, given by ad⁑(X)(Y)=[X,Y]\operatorname{ad}(X)(Y) = [X, Y]. The two are related by Ad⁑(exp⁑X)=ead⁑X\operatorname{Ad}(\exp X) = e^{\operatorname{ad} X}, and gexp⁑(X)gβˆ’1=exp⁑(Ad⁑(g)X)g \exp(X) g^{-1} = \exp(\operatorname{Ad}(g)X).

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Differential of a smooth map concept
  2. Group representation concept
  3. Inner automorphism concept
  4. Lie group concept
  5. Zariski tangent space concept
  6. Adjoint representation of a Lie group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Adjoint_representation
About this page
Tag2B3BWV1HPC
URIm2://2B3BWV1HPC
Kinddefinition
WritingW0 stub
MSC22E60, 22E15
DefinesAdjoint representation of a Lie group
UsesLie group, Inner automorphism, Differential of a smooth map, Zariski tangent space, Group representation
Changed2 November 2026

Markdown Β· JSON Β· Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.