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!