Endomorphism/Invariant linear subspace/Minimal polynomial/Divisibility/Fact

Let denote a field, and let denote a -vector space of finite dimension. Let

be a linear mapping. Let be a -invariant linear subspace and

the restriction to (also in the target).

Then the

minimal polynomial

of is a multiple of the minimal polynomial of .