Trace
Theorem - Basis Independence
The Trace does not depend on the basis for
Theorem - Adjoint
The Trace of
Theorem - Linearity
The Trace is Linear.
Theorem - Cyclic
The Trace of a product is the same as the cyclic permutation. I.e.
Theorem - Real Spectrum
The Trace of a Hermitian Operator is Real.
Theorem - Imaginary Spectrum
The Trace of a anti-Hermitian Operator is Imaginary (or Zero).