1. Polynômes d'endomorphismes et polynômes annulateurs
Soit de dimension finie et . Pour , on pose (avec ).
- est un morphisme d'algèbres : .
- et sont stables par .
- Si , alors . Par conséquent, si , toute valeur propre de est racine de .
- est annulateur de si . Il en existe toujours de non nuls : la famille de , de dimension , est liée.