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