Permutation matrix/C/Diagonalizable/Fact

A permutation matrix

over is diagonalizable.