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:
