().
* is diagonalizable; that is, is unitarily similar to a diagonal matrix, as a consequence of the spectral theorem. Thus, has a decomposition of the form where is unitary, and is diagonal and unitary.
* The eigenvalues of lie on the unit circle, as does .
* The eigenspaces of are orthogonal.