The Leibniz formula for determinants gives . Relabel the product by and then the sum by . The inverse permutation has the same sign, so
The proof applies to any finite square matrix.
Expanding the trace of the product and exchanging the two finite summation indices gives
Scalar entries commute even though the matrices need not.
Apply the preceding trace identity first to the pair and then to :
This is invariance under cyclic permutation. It does not assert invariance under arbitrary rearrangement of the matrices.

Articles by others on the same topic (0)

There are currently no matching articles.