A derivation is inner if it has the form $\text{ad}x$, $x\in L$. Otherwise, a derivation is outer. For a semisimple Lie algebra, every derivation is inner. What about the nilpotent and solvable cases?
Asked
Active
Viewed 278 times
1 Answers
2
Every nonzero nilpotent Lie algebra over an arbitrary field has an outer derivation. This was proved by Dixmier, and by Jacobson and Schenkmann in $1955$.
This is no longer true for solvable Lie algebras. Already the nonabelian $2$-dimensional Lie algebra $\mathfrak{r}_2(K)$ has only inner derivations.
Yves has written down there the proof for nilpotent Lie algebras.
Note: It is not true, that all derivations of semisimple Lie algebras are inner. Consider the simple Lie algebra $L=\mathfrak{psl}_3(\Bbb F_3)$. Then we even have $\operatorname{Out}(L)\cong L$, see here.
Dietrich Burde
- 130,978
-
Your answer really broadens my mind. I think that the semisimple Lie algebra over an field of characteristic 0 has $\text{ad}L=\text{Der}L$ – Isomorphism Apr 30 '20 at 13:18
-
Yes, this is true. We need characteristic zero. – Dietrich Burde Apr 30 '20 at 13:22