Soit un espace vectoriel de dimension sur un corps . On considère un endomorphisme dont on note le polynôme minimal. On suppose que est irréductible dans .
Pour la question 1, utiliser l'isomorphisme entre et ou appliquer le théorème de Bézout.
Pour la question 2, considérer un sous-espace stable et s'intéresser au polynôme minimal de l'endomorphisme induit . Se souvenir que .
Lien entre inversibilité de et primalité de avec le polynôme minimal.
Propriétés des polynômes minimaux d'endomorphismes induits sur des sous-espaces stables.
Inégalité fondamentale : .
1. Structure de corps de [u].}
L'ensemble est une sous-algèbre commutative de . Pour montrer que c'est un corps, il suffit de prouver que tout élément non nul est inversible dans .
Soit tel que . Par définition du polynôme minimal , cela signifie que ne divise pas .
Comme est un polynôme irréductible dans , ses seuls diviseurs unitaires sont et lui-même.
Puisque ne divise pas , le plus grand commun diviseur de et est nécessairement .
D'après le théorème de Bézout, il existe deux polynômes et dans tels que :
En évaluant cette égalité en l'endomorphisme , nous obtenons :
Or, par définition du polynôme minimal, on a . L'égalité se simplifie en :
Ainsi, est inversible et son inverse appartient bien à .
L'algèbre est donc un corps.
2. Sous-espaces stables.
Supposons que . Soit un sous-espace vectoriel de stable par , tel que .
On note l'endomorphisme induit par sur (la restriction de à à valeurs dans ). Le polynôme minimal de , noté , possède les propriétés suivantes :
Le polynôme étant irréductible, ses seuls diviseurs unitaires sont et lui-même.
Comme , la seule possibilité est que soit égal à (à un facteur multiplicatif près). On en déduit :
Or, nous savons que le degré du polynôme minimal d'un endomorphisme est toujours inférieur ou égal à la dimension de l'espace sur lequel il agit. Pour agissant sur , cela donne :
En réinjectant l'égalité précédente, nous obtenons :
Comme est un sous-espace de , on a aussi . Par conséquent :
Le seul sous-espace stable non nul est donc .
Attention à ne pas confondre le polynôme minimal de la restriction () et la restriction du polynôme minimal (). Le premier divise toujours le second, mais ils ne sont pas égaux en général.