Пусть линейный оператор
, действует в векторном пространстве
над бесконечным полем
.
Обозначим через
минимальный многочлен оператора
, и через
минимальный аннулирующий многочлен оператора
относительно вектора
(т.е. минимальный многочлен от
, который аннулирует вектор
). Доказать что существует
такой что
.
Я решил задачу, но в моем решении нигде не используется то, что поле
бесконечно. Но в официальном решении, приведенном во втором томе Кострикина, задача 2.2.9, используется этот факт. Никакие контрпримеры не приходят в голову.
Вопрос. Действительно ли тут необходимо условие бесконечности поля
?