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.