 Cyclic property of the trace

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