Minimal polynomial
The minimal polynomial of an n-by-n matrix A over a field F is the monic polynomial p(x) over F of least degree such that p(A)=0.The following three statements are equivalent:
- λ∈F is a root of p(x),
- λ is a root of the characteristic polynomial of A,
- λ is an eigenvalue of A.
This is still a stub.