commuting normal matrices are simultaneously diagonalizable
All matrices in the below are complex matrices.
Let , be normal matrices, . Then there exists a unitary matrix
such that
,
where is the conjugate transpose and are diagonal matrices
.