Пусть линейный оператор
![$\mathcal{A}$ $\mathcal{A}$](https://dxdy-04.korotkov.co.uk/f/7/6/5/7651ba0e8e29ee7537841a819041a17282.png)
, действует в векторном пространстве
![$V$ $V$](https://dxdy-03.korotkov.co.uk/f/a/9/a/a9a3a4a202d80326bda413b5562d5cd182.png)
над бесконечным полем
![$\mathcal{K}$ $\mathcal{K}$](https://dxdy-04.korotkov.co.uk/f/7/f/4/7f48ca6509efeeeb338815ca3c6f439382.png)
.
Обозначим через
![$\mu_{\mathcal{A}}(t)$ $\mu_{\mathcal{A}}(t)$](https://dxdy-02.korotkov.co.uk/f/5/b/5/5b53a686ef2437c1e1b8ce9de790e49f82.png)
минимальный многочлен оператора
![$\mathcal{A}$ $\mathcal{A}$](https://dxdy-04.korotkov.co.uk/f/7/6/5/7651ba0e8e29ee7537841a819041a17282.png)
, и через
![$\mu_{\mathcal{A},v}(t)$ $\mu_{\mathcal{A},v}(t)$](https://dxdy-04.korotkov.co.uk/f/3/a/b/3ab8f3680581d9097d82412329e3933482.png)
минимальный аннулирующий многочлен оператора
![$\mathcal{A}$ $\mathcal{A}$](https://dxdy-04.korotkov.co.uk/f/7/6/5/7651ba0e8e29ee7537841a819041a17282.png)
относительно вектора
![$v\in V$ $v\in V$](https://dxdy-03.korotkov.co.uk/f/a/3/e/a3e83e340d51acde28b44ffd6bc6fbca82.png)
(т.е. минимальный многочлен от
![$\mathcal{A}$ $\mathcal{A}$](https://dxdy-04.korotkov.co.uk/f/7/6/5/7651ba0e8e29ee7537841a819041a17282.png)
, который аннулирует вектор
![$v\in V$ $v\in V$](https://dxdy-03.korotkov.co.uk/f/a/3/e/a3e83e340d51acde28b44ffd6bc6fbca82.png)
). Доказать что существует
![$a\in V$ $a\in V$](https://dxdy-03.korotkov.co.uk/f/2/f/1/2f10688651cda77630a7368f72cb884a82.png)
такой что
![$\mu_{\mathcal{A},a}(t)=\mu_{\mathcal{A}}(t)$ $\mu_{\mathcal{A},a}(t)=\mu_{\mathcal{A}}(t)$](https://dxdy-02.korotkov.co.uk/f/5/2/2/522d6ce1387d73c5a24363b5c5e2a47182.png)
.
Я решил задачу, но в моем решении нигде не используется то, что поле
![$\mathcal{K}$ $\mathcal{K}$](https://dxdy-04.korotkov.co.uk/f/7/f/4/7f48ca6509efeeeb338815ca3c6f439382.png)
бесконечно. Но в официальном решении, приведенном во втором томе Кострикина, задача 2.2.9, используется этот факт. Никакие контрпримеры не приходят в голову.
Вопрос. Действительно ли тут необходимо условие бесконечности поля
![$\mathcal{K}$ $\mathcal{K}$](https://dxdy-04.korotkov.co.uk/f/7/f/4/7f48ca6509efeeeb338815ca3c6f439382.png)
?