Прочитал главу в Кострикине "Линейные операторы" и так и не понял зачем там вводится минимальный аннулирующий многочлен. Вся глава сводится к нахождению ЖНФ матрицы, для получения которой он не нужен. Единственное замечание было сделано, что многочлен для жордановой клетки равен
и, поэтому, матрица диагонализируема, если многочлен не имеет кратных корней. Ну хорошо, но не приводится, ни как найти его без ЖНФ (да даже с ЖНФ), ни где применить(кроме этого критерия), хотя позже на форуме увидел, что функции от матриц можно считать зная только минимальный многочлен. Может я что упустил?