Minimal polynomial

The following three statements are equivalent:

1. λ∈F is a root of p(x),
2. λ is a root of the characteristic polynomial of A,
3. λ is an eigenvalue of A.

The multiplicity of a root λ of p(x) is the geometrical multiplicity of &lambda and is the size of the largest Jordan block[?] corresponding to &lambda.

This is still a stub.