Cyclic property of the trace (source code)

= Cyclic property of the trace

For square matrices whose product is defined, $\operatorname{tr}(A_1A_2\cdots A_n)$ is unchanged by a cyclic permutation of the factors. In particular, every <commutator> has trace zero.