5
$\begingroup$

There is an exercise in Humphreys's An Introduction to Lie Algebras and Representation Theory: "Any nilpotent Lie algebra contains a codimension 1 ideal".

The proof I am thinking of is the following.

Suppose the Lie algebra $L$ satisfies $L\neq[L,L]$. Then $\pi\colon L\to L/[L,L]$ is a projection onto an abelian algebra. Choose a codimension 1 subspace $I\subset L/[L,L]$. Then $I$ is an ideal and its preimage $\pi^{-1}(I)$ is necessarily an ideal in $L$, because any subspace containing the derived algebra is an ideal. Moreover, $\pi^{-1}(I)$ has codimension 1. $\square$

The only condition on $L$ is that $L\neq[L,L]$, which holds for solvable Lie algebras as well. Is this proof correct? How come Humphreys didn't set the exercise with "nilpotent" replaced by "solvable"?

$\endgroup$
1
  • $\begingroup$ Your proof is correct and works for solvable Lie algebras. I don't know why Humphreys only set the exercise for nilpotent Lie algebras. $\endgroup$ Nov 15 '13 at 9:18
3
$\begingroup$

The proof works indeed for all finite-dimensional solvable Lie algebras as above. We only need $[L,L]\neq L$. What does not work is, that every solvable Lie algebra $L$ admits a chain of ideals $$ 0=L_0\subseteq L_1\subset \cdots \subset L_n=L, $$ i.e., is supersolvable. This is only true over algebraically closed fields of characteristic zero - by Lie's theorem. So it can happen, that a solvable Lie algebra does not have an ideal of every possible codimension - see here for an example of a real solvable Lie algebra of dimension $4$ without an ideal of codimension $3$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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