Минимальный многочлен линейного оператора

проверено. мало. написать бы про выбор базиса. Пусть $V$ — конечномерное векторное пространство над полем $F$ и $\varphi$ — линейный оператор на $V$ .

Определение

Определение 1. Многочлен $f\in F[T]$ минимальной степени, аннулирующий оператор $\varphi$ , то есть $f(\varphi)=0$ , называется минимальным многочленом¹⁾ линейного оператора $\varphi$ .