The trace of a square matrix is . Expanding a product and interchanging its finite sums gives
Hence every commutator has trace zero. Taking the trace of gives . Over the complex numbers, with , this forces
For that value, choose , or any commuting pair. For every nonzero the trace contradiction proves nonexistence. The finite matrix size is essential to this trace argument.

Articles by others on the same topic (0)

There are currently no matching articles.