# Inscrutable proof in Humphrey's book on Lie algebras and representations

This is a question pertaining to Humphrey's Introduction to Lie Algebras and Representation Theory

Is there an explanation of the lemma in §4.3-Cartan's Criterion? I understand the proof given there but I fail to understand how anybody could have ever devised it or had the guts to prove such a strange statement...

Lemma: let $k$ be alg. closed of caracteristic $0$, $V$ finite dimensional over $k$, $A\subset B\subset \mathrm{End}(V)$ subspaces and $M$ the set of endomorphisms $x$ of $V$ such that $[x,B]\subset A$. Suppose $x\in M$ is such that $\forall y\in M, \mathrm{Tr}(xy)=0$, then $x$ is nilpotent.

The proof uses the diagonalisable$+$nilpotent decomposition, and goes on to show that all eigenvalues of $x$ are $=0$ by showing that the $\mathbb{Q}$ subspace of $k$ they generate has only the $0$ linear functional.

Added: (t.b.) here's the page from Google books for those without access:

-
It would help enormously if you reproduced at least the lemma, even better the proof, so that this question isn't only answerable by people with access to Humphreys. –  Qiaochu Yuan Apr 29 '12 at 9:38
Ok ^^ I was hoping to avoid it as I am wriring this from a phone but you're right. –  Olivier Bégassat Apr 29 '12 at 9:41
I included links and an image of the lemma and its proof. I hope that's what you intended. –  t.b. Apr 29 '12 at 9:51
@t.b. That would be lovely, do I have to do something for these to appear in the question? –  Olivier Bégassat Apr 29 '12 at 9:56
I'm not very handy with Lie algebra, but a few things jumped out at me as kind of familiar from associative algebra. $M$ is the largest Lie subring in which $B$ is a Lie ideal. Tr(-,-) is acting like a bilinear form, and this is saying the elements of its kernel are nilpotent. One expects this in associative algebras because the kernel elements are in the Jacobson radical, which is nilpotent in an Artinian algebra. Thanks for your patience with my ramblings. –  rschwieb Apr 29 '12 at 14:13