Permutation matrix/C/Diagonalizable/Fact

< Permutation matrix < C < Diagonalizable

A permutation matrix

over is diagonalizable.