Take the 2-minute tour ×
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.

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"?

share|improve this question
    
Your proof is correct and works for solvable Lie algebras. I don't know why Humphreys only set the exercise for nilpotent Lie algebras. –  Tobias Kildetoft Nov 15 '13 at 9:18

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.