Théorème 3Réduction des endomorphismes
Polynôme caractéristique
L'anneau est intègre (Anneau A[X], (iii)) ; son corps des fractions (Corps des fractions) est le corps des fractions rationnelles, noté , dans lequel on identifie au sous-anneau des .
Toute l'algèbre linéaire de l'édifice est établie sur un corps commutatif quelconque ; elle s'applique donc au corps , et en particulier le déterminant d'une matrice de est défini et multiplicatif (Déterminant d'une matrice).
Le polynôme caractéristique d'une matrice est déterminant calculé dans le corps ; le point (i) montre qu'il appartient à . Celui de , noté , est celui de sa matrice dans une base quelconque, ce que justifie (iii).
Un polynôme non nul est scindé sur s'il s'écrit avec et . Si est scindé, la multiplicité d'une valeur propre est sa multiplicité comme racine de .
(i) Le déterminant d'une matrice à coefficients dans est la somme , calculée dans . Pour tout morphisme d'anneaux de dans un corps , on a , où est la matrice des .
(ii) est unitaire de degré , et
(iii) Deux matrices semblables ont le même polynôme caractéristique ; ne dépend donc pas de la base.
(iv) Pour tout , . Les valeurs propres de sont exactement les racines de dans .
(v) Si est scindé, tout diviseur unitaire de s'écrit pour une partie de ; il est scindé. Si avec des deux à deux distincts, est la multiplicité de la racine .
Démonstration
(i) La formule du déterminant (Déterminant d'une matrice) n'emploie que des sommes, des produits et les signes ; appliquée à des éléments du sous-anneau , elle donne un élément de . Un morphisme d'anneaux respecte les sommes et les produits, et envoie sur : il transforme la formule pour en la formule pour .
(ii) Les coefficients de sont , de degré , et , constants, pour . Si , déplace au moins deux indices, puisqu'une permutation qui fixe éléments fixe aussi le dernier ; le produit a donc au plus facteurs de degré , et il est de degré au plus .
Le terme de l'identité est .
Par récurrence sur le nombre de facteurs, un produit s'écrit plus des termes de degré au plus , puisque avec et . D'où le coefficient dominant et le coefficient de .
Le terme constant est la valeur en . Par (i), appliqué à l'évaluation en (Évaluation, (i)), il vaut , c'est-à-dire , chacune des colonnes étant multipliée par et le déterminant étant -linéaire en les colonnes (Formes alternées, (ii)).
(iii) Pour inversible, dans , puisque . Le déterminant étant multiplicatif sur le corps , avec , les deux polynômes caractéristiques sont égaux. Les matrices d'un même endomorphisme dans deux bases sont semblables (Trace, (iii)).
(iv) L'évaluation en est un morphisme d'anneaux de dans (Évaluation, (i)), qui envoie sur , matrice de .
Par (i) et Déterminant d'une matrice, (i), , qui vaut comme dans (ii). Il est nul si et seulement si est valeur propre (Valeurs propres, (i)).
(v) Chaque est irréductible et unitaire (Irréductibles, (iii)) : est la factorisation de .
Si avec unitaire, les factorisations de et de , mises bout à bout, en donnent une de ; par unicité (Irréductibles, (ii)), les facteurs irréductibles de sont certains des , chacun pris au plus autant de fois qu'il figure dans .
Pour la seconde assertion, avec , et n'est pas nul, étant intègre ; on conclut par Racines, (ii).
□Pourquoi passer par ? Le déterminant n'est construit dans l'édifice que sur un corps, et est une matrice à coefficients dans l'anneau , qui n'en est pas un. Le corps des fractions fournit un corps qui contient ; le point (i) assure que rien n'est perdu.
La voie qui paraît plus simple, définir par la fonction , ne convient pas sur un corps fini, où un polynôme n'est pas déterminé par sa fonction (Évaluation).
Sur , la matrice nulle de taille et la matrice ont pour polynômes caractéristiques et , distincts, qui prennent pourtant les mêmes valeurs, en et en .
Pour , on trouve : le coefficient est l'opposé de la trace, et est le déterminant, comme le veut (ii). Ici est égal au polynôme minimal ; le nœud Cayley-Hamilton montrera qu'il en est toujours un multiple.
Pour la rotation , . Sur , il prend les valeurs , , : n'a aucune valeur propre. Sur , , et en a deux.
On rencontre aussi la convention , qui a les mêmes racines. Celle qui est retenue ici rend unitaire, ce qui permet de le comparer au polynôme minimal, unitaire lui aussi, sans se soucier d'un signe.