The trace of a square matrix is . Expanding a product and interchanging its finite sums givesHence every commutator has trace zero. Taking the trace of gives . Over the complex numbers, with , this forcesFor 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
There are currently no matching articles.