Trace invariants of a Lax equation (source code)

= Trace invariants of a Lax equation

If
$$
\dot L=[L,A],
$$
then every positive power has constant trace:
$$
\frac d{dt}\operatorname{tr}(L^n)
=n\operatorname{tr}(L^{n-1}[A,L])=0.
$$
The final equality is the cyclic property of the <matrix trace>.