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 .
PROOF
TODO
Theorem: Finding Eigenvalues
The eigenvalues of a square matrix are precisely the roots of its characteristic polynomial.
PROOF
TODO
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 .
NOTATION