Definition
Characteristic Polynomial
The characteristic polynomial of a square matrix is the determinant:
Note that the degree of this polynomial is and the leading coefficient is . Thus, eigenvalues are the rots of . Since a polynomial of degree (over a field ) can have at most distinct roots, an square matrix has at most eigenvalues.