Trace of a commutator

ID: trace-of-a-commutator

For linear maps on a finite-dimensional vector space, the cyclic property of the trace gives . In matrix entries both traces are after exchanging indices. Thus the trace of a finite-dimensional Lie algebra representation vanishes on the derived algebra. In particular, for a perfect Lie algebra, every representing matrix has zero trace.

New to topics? Read the docs here!