Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Proof that there exists non-zero elements $x, y$ in a solvable Lie algebra $g$ such that $[y,x]=x$. I have seen an answer from a lecture notes on google, but I can't find it now. Anyway, can someone give a more insight proof? Note that you can't use Lie's theorem for solvable Lie algebra $g$ over complex numbers which says a representation of $g$ contains a common eigenvector because our solvable Lie algebra is a general one(over any field say real numbers).

remark: YOU can use the fact that $g$ is solvable if only if it's derived algebra $[g,g]$ is nolptent. (this is ture for real Lie algebras!)

share|cite|improve this question
I don't think that this result is true. An abelian Lie algebra is solvable, and all Lie brackets vanish there, so... – Jyrki Lahtonen Dec 25 '11 at 11:36
You are wright,consider the non-abelian one. – hnzt Dec 26 '11 at 1:57

$\newcommand\ad{\operatorname{ad}}\newcommand\g{\mathfrak g}$Notice that this cannot happen in a nilpotent Lie algebra, so you need to exclude all of them, not just the abelian ones. So let's show that

a non-nilpotent Lie algebra $\g$ contains elements $x$, $y$ such that $[x,y]=y$.

Now, if $\g$ is not nilpotent, Engel's theorem tells us that there is an $x\in\g$ such that the map $\ad(x):y\in\g\mapsto[x,y]\in\g$ is not nilpotent. In particular, there exists an $x\in\g$ such that $0$ is not the only eigenvalue of $\ad(x)$. Fix that $x$, and let $\lambda\in\mathbb C$ be a non-zero eigenvalue of $\ad(x)$ and let $y\in g$ be an eigenvector of $\ad(x)$ for the eigenvalue $\lambda$. The pair of elements $x'=\lambda^{-1}x$, $y$ are then such that $[x',y]=y$.

I did not need to assume the algebra is solvable, by the way.

share|cite|improve this answer
That should work over any field, right? – Ehsan M. Kermani Dec 26 '11 at 2:41
I assumed the existence of eigenvalues and eigenvectors, so the field should be algebraically closed. The characteristic is irrelevant, though, for the same is true for Engel's theorem/ – Mariano Suárez-Alvarez Dec 26 '11 at 2:42
Yes, that's right. – Ehsan M. Kermani Dec 26 '11 at 2:43
That's the way we do it in proving Lie's theorem, but it is not true for real Lie algebras. – hnzt Dec 26 '11 at 6:44

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.