Изменения

Множество всех аннулирующих полиномов данного автоморфизма образует идеал А в алгебре скалярных полиномов P.

|proof=

Рассмотрим <tex>p(\lambda) \in I_A, p(\lambda) \in P \Rightarrow p(\lambda)q(\lambda) \in I_A</tex> (?)