Definition: Characteristic Polynomial

The characteristic polynomial of a square matrix the univariate polynomial obtained through the determinant and the identity matrix in the following way:

Theorem: Degree of the Characteristic Polynomial

The degree of the characteristic polynomial of a square matrix is .

Theorem: Finding Eigenvalues

The eigenvalues of a square matrix are precisely the roots of its characteristic polynomial.

Definition: Algebraic Multiplicity

If the characteristic polynomial of has a linear factorisation

over the field , where are the distinct eigenvalues of , then we call the algebraic multiplicity of .