Soient un corps, un -espace vectoriel de dimension finie et un endomorphisme de . On note la sous-algèbre de constituée des polynômes en .
Pour la question 1, utiliser le fait que est une algèbre de dimension finie. Un élément y est inversible dans si et seulement s'il est inversible au sein de cette algèbre. Penser à l'identité de Bézout.
Pour la question 2, traduire la condition en termes de structure de l'algèbre . Que signifie le fait que tout élément non nul est inversible ? Faire le lien avec la cyclicité de l'idéal annulateur.
Lien entre inversibilité et polynôme minimal via le théorème de Bézout.
Structure de corps de l'algèbre .
Propriétés des diviseurs de zéro dans une algèbre de dimension finie.
Résolution.
Condition suffisante : Supposons que . D'après le théorème de Bézout, il existe deux polynômes et dans tels que :
Condition nécessaire : Supposons que ne soit pas constant (i.e., ). Alors il existe un polynôme tel que avec . Par définition du polynôme minimal, on a . De plus, comme divise , on peut écrire pour un certain . On a alors :
Attention à ne pas confondre "irréductible" et "scindé". Si , un polynôme peut être irréductible de degré 2 (ex: ). Si , les seuls polynômes irréductibles sont de degré 1.