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
.