For a
diagonal matrix
-
with different entries , the
minimal polynomial
is
-
This polynomial is sent under the substitution to
-
We apply this to a standard vector . Then factor sends to . Therefore, the -th factor ensures that is annihilated. Since a basis is mapped under to , it must be the zero mapping.
Assume now that is not the minimal polynomial . Then there exists, due to
fact,
a polynomial with
-
and, because of
fact,
is a partial product of the linear factors of . But as soon as one factor of is removed, say we remove , then is not annihilated by the corresponding mapping.