Skip to main content
3 of 3
added 10 characters in body; added 26 characters in body
Dietrich Burde
  • 12.1k
  • 1
  • 33
  • 66

Here is a result, which I think is interesting in this context (for reference see books on Lie algebras):

Theorem: Let $V$ be a finite-dimensional vector space over a field $K$ of characteristic zero. Let $E\subseteq F$ be two linear subspaces of $End(V)$ and $M=\lbrace A \in End(V) \mid [A,F] \subseteq E\rbrace $. Assume that $tr (AB)=0$ for all $A\in M$. Then $B$ is nilpotent with $tr(B)=tr(B^2)=\cdots = tr(B^n)=0$ for all $n$.

Edit: $[A,B]=AB-BA$ in $End(V)$.

Dietrich Burde
  • 12.1k
  • 1
  • 33
  • 66