Trace trilinear form of a Lie algebra representation (source code)

= Trace trilinear form of a Lie algebra representation
{title2=$B(X,Y,Z)$}

For a finite-dimensional representation $d$, the trilinear form $B(X,Y,Z)=\operatorname{Tr}(d(X)d(Y)d(Z))$ is invariant under simultaneous adjoint action. This follows by writing the sum of its three infinitesimal variations as the trace of a commutator.