Voir la source de Polynôme minimal

{{Voir homonymes|Polynôme minimal (homonymie)}}
En [[mathématiques]], le '''polynôme minimal''' d'un élément ''u'' d'une [[algèbre associative sur un corps|algèbre associative unifère]] sur un [[corps commutatif]] est, s'il existe, le « plus petit » [[polynôme formel|polynôme]] [[polynôme unitaire|unitaire]] (non nul) ''P'' à coefficients dans ce corps tel que {{math|§=''P''(''u'') = 0}}, c'est-à-dire de degré minimum parmi ceux qui annulent ''u'', et également diviseur de tous les polynômes qui annulent ''u''.

Très souvent, on introduit directement le polynôme minimal dans des cas un peu plus particuliers :
* en [[algèbre linéaire]] comme '''[[polynôme minimal d'un endomorphisme]]''' d'un [[espace vectoriel]] de [[Dimension d'un espace vectoriel|dimension]] finie (ou d'une [[Matrice (mathématiques)|matrice carrée]]) ;
* en [[théorie des corps]] comme '''[[polynôme minimal (théorie des corps)|polynôme minimal d'un élément algébrique]]''' d'une [[extension de corps]].

== Définition ==
Soit ''A'' une algèbre associative unifère sur un corps commutatif ''K'' et ''u'' un élément de ''A''. Un polynôme ''P'' à coefficients dans ''K'' tel que {{math|§=''P''(''u'') = 0}}, est appelé ''polynôme annulateur'' de ''u''. Les polynômes annulateurs de ''u'' forment un [[idéal]] de ''K''[''X''] appelé ''idéal annulateur'' de ''u'', et la sous-algèbre ''K''[''u''] <ref>La sous-algèbre ''K''[''u''] est l'ensemble des combinaisons linéaires (à coefficients dans ''K'') de puissances de ''u''. C'est l'image du morphisme d'algèbres qui à tout élément ''Q'' de ''K''[''X''] associe l'élément ''Q''(''u'') de ''A'' (morphisme dont le noyau est l'idéal annulateur de ''u'').</ref> de ''A'' est isomorphe au [[Anneau quotient|quotient]] de ''K''[''X''] par cet idéal.

Deux cas de figure sont possibles :
*l'idéal annulateur est réduit à {0}, c'est-à-dire qu'il n'existe pas de polynôme non nul qui annule ''u''. L'algèbre ''K''[''u''] est alors isomorphe à ''K''[''X''], donc de dimension infinie ;
*l'idéal annulateur n'est pas réduit à {0}, c'est-à-dire qu'il existe au moins un polynôme annulateur non nul. Comme l'anneau des polynômes sur un corps commutatif est [[anneau euclidien|euclidien]], cet idéal est [[Idéal principal|principal]]. On appelle alors ''polynôme minimal'' de ''u'' (sur ''K'') l'unique polynôme unitaire qui engendre cet idéal ; l'algèbre ''K''[''u''] est de dimension finie, égale au degré du polynôme minimal.

Le polynôme minimal de ''u'' (sur ''K''), quand il existe — c'est-à-dire quand ''K''[''u''] est de dimension finie — est donc, de façon équivalente :
* le [[polynôme unitaire]] ''P'' dans ''K''[''X''] de plus petit degré tel que {{math|§=''P''(''u'') = 0}} ;
* l'unique polynôme unitaire ''P'' de ''K''[''X''] qui annule ''u'' et qui divise tous les polynômes de ''K''[''X''] qui annulent ''u''.
Une condition suffisante d'existence du polynôme minimal de ''u'' est que la ''K''-algèbre ''A'' soit de dimension finie (puisqu'alors, il en est de même, ''a fortiori'', de la sous-algèbre ''K''[''u'']).

== Algèbre linéaire ==
Dans l'algèbre de dimension finie des matrices carrées ''n''×''n'' sur un corps ''K'', un élément ''M'' a toujours un polynôme minimal, qui est le polynôme unitaire ''P'' de plus petit degré tel que {{math|§=''P''(''M'') = 0}}. De même, tout [[Application linéaire#Définitions|endomorphisme]] d'un [[espace vectoriel de dimension finie]] possède un polynôme minimal<ref> L'endomorphisme et sa matrice dans une base quelconque ont le même idéal annulateur, et en particulier ont le même polynôme minimal.</ref>.
{{article détaillé|polynôme minimal d'un endomorphisme}}

== Théorie des corps ==
Soit ''L'' une [[extension de corps|extension d'un corps commutatif]] ''K'' — ''L'' est donc une ''K''-algèbre unifère — et ''x'' un élément de ''L''.
*Si l'idéal annulateur de ''x'' est réduit à {0}, ''x'' est dit [[élément transcendant|transcendant]] sur ''K''. L'extension ''L'' de ''K'' est alors de degré infini.
*S'il existe un polynôme non nul à coefficients dans ''K'' qui annule ''x'', ''x'' est dit [[élément algébrique|algébrique]] sur ''K''. Il possède alors un polynôme minimal sur ''K''.
En théorie des corps, le polynôme minimal d'un élément algébrique sur ''K'' est toujours [[polynôme irréductible|irréductible]] sur ''K''. C'est le seul polynôme unitaire irréductible annulateur de l'élément.
{{article détaillé|polynôme minimal (théorie des corps)}}

== Sources ==
On trouve la définition du polynôme minimal d'un élément algébrique dans le cas général des algèbres (associatives) sur un corps dans [[N. Bourbaki|Bourbaki]], [[éléments de mathématique|''Algèbre'']], p A-V.15 et [[éléments de mathématique|''Algèbre commutative'']], V, 1, 3, p. 14. D'autres ouvrages généralistes se contentent de donner séparément les définitions en algèbre linéaire en dimension finie et en théorie des corps : [[Roger Godement|Godement]], ''Cours d'algèbre'', partie exercices, ou [[Serge Lang|Lang]], ''{{Langue|en|Algebra}}'', avec dans ce dernier cas une terminologie distincte en théorie des corps où Lang définit {{Citation|''le'' polynôme irréductible d'un élément α sur un corps ''K''}}, qu'il note Irr(α, ''K'', X).

== Notes et références ==
{{Références}}

{{portail|algèbre}}
{{interwiki extra|qid=Q3395694}}

[[Catégorie:Polynôme]]