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

.