Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm looking for list of identities involving adjoint action $\mathrm{ad}_A X = [A,X] = AX - XA$. For example, it can be easily shown that:

\begin{equation} e^{\mathrm{ad}_A} X = e^A X e^{-A} \end{equation}

Are there any others listed somewhere or can anybody provide some?

Currently, I'm mostly interested in when is it possible to define something like $\mathrm{ad}_A^{-1}$ in a sense that $[A,\mathrm{ad}_A^{-1}X]=X$ and especially interested in finding closed form for \begin{equation} \mathrm{ad}_A^{-1}(e^{\mathrm{ad}_A}-1) \equiv \sum_{n=0}^\infty\frac{\mathrm{ad}_A^n}{(n+1)!} \end{equation}but other identities involving adjoint action might come in handy as well.

share|cite|improve this question

A useful identity is $ad_{D(x)}=[D,ad_x]$ for every derivation $D$. Furthermore, the Baker-Campell-Hausdorff formula is given by $$ \begin{align} Z(x,y) & =\log \exp(x)\exp(y)\\ & =x+y+\frac{1}{2}ad_x(y)+\frac{1}{12}ad_x^2(y)+\frac{1}{12}ad_y^2(x)\\ & -\frac{1}{24}ad_y ad_x^2(y)+\frac{1}{720}ad_y^4 (x)\pm \cdots \end{align} $$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.