Simple spectrum gives simultaneous diagonalization

ID: simple-spectrum-gives-simultaneous-diagonalization

Suppose has distinct eigenvalues over a field and commutes with . Each eigenspace of is one-dimensional. Since commuting maps preserve eigenspaces, acts as a scalar on each of them. The eigenvectors of give a common eigenbasis and hence simultaneous diagonalization. For real matrices, the result gives a real eigenbasis only if the eigenvalues of are real; otherwise it applies over .

New to topics? Read the docs here!