Any projection formula_28 on a vector space of dimension formula_156 over a field is a diagonalizable matrix, since its minimal polynomial divides formula_157, which splits into distinct linear factors.