Soit un corps commutatif et un polynôme unitaire de degré . On suppose dans un premier temps que est irréductible sur . On note .
On considère la matrice compagnon associée à :
Pour la question 1(a), on pourra observer l'image des vecteurs de la base canonique par l'endomorphisme associé à .
Pour la question 1(b), l'irréductibilité de permet d'utiliser le théorème de Bézout dans pour trouver un inverse à toute matrice non nulle.
Pour la question 1(c), quel élément de annule le polynôme ?
Pour la question 2, procéder par récurrence sur le degré de en utilisant la construction de la question 1.
Lien entre polynôme minimal et matrice compagnon.
Structure de corps de lorsque le polynôme minimal est irréductible.
Construction itérative d'extensions (corps de rupture puis corps de décomposition).
Résolution.
On en déduit par une récurrence immédiate que pour tout :
Supposons qu'il existe un polynôme de degré tel que . En appliquant cette relation au vecteur , on obtient :
La famille étant libre (car extraite d'une base), on en déduit que tous les coefficients sont nuls. Ainsi, .
Par ailleurs, un calcul classique (par développement selon la dernière colonne ou par récurrence) montre que le polynôme caractéristique de est . D'après le théorème de Cayley-Hamilton, .
Comme est unitaire, de degré , et annule , on conclut :
En évaluant en , et puisque , il vient :
Ainsi, est inversible et son inverse appartient bien à .
Par hypothèse de récurrence appliquée au corps et au polynôme , il existe une extension de telle que soit scindé sur . Comme , le polynôme est également scindé sur . Puisque est une extension de et une extension de , est une extension de .
Dans la question 1(b), ne pas oublier de mentionner que n'est pas divisible par . Si , cela signifie précisément que ne divise pas . Sans l'irréductibilité de , on ne pourrait pas affirmer que .