Théorème 6Anneaux de polynômes
Polynômes irréductibles et factorisation unique
Soit un corps. Un polynôme non constant est irréductible s'il n'est pas le produit de deux polynômes de degrés strictement inférieurs au sien. Comme quand (Anneau A[X], (iii)), cela revient à dire que les seuls diviseurs de sont les constantes non nulles et les polynômes associés à .
(i) Lemme d'Euclide. Si est irréductible et divise , il divise ou .
(ii) Factorisation. Tout polynôme non constant s'écrit , avec non nul et irréductibles unitaires, et cette écriture est unique à l'ordre des facteurs près. En regroupant les facteurs égaux, avec des deux à deux distincts.
(iii) Tout polynôme de degré est irréductible. Un polynôme de degré ou est irréductible si et seulement s'il n'a pas de racine dans .
Démonstration
(i) Le PGCD divise (K[X] principal, (ii)) ; il est donc , ou associé à , auquel cas divise . S'il vaut , le lemme de Gauss (K[X] principal, (iii)) donne .
(ii) Existence. Sinon, soit le plus petit degré d'un polynôme non constant sans telle écriture, et un tel polynôme (Bon ordre sur ℕ). Il n'est pas irréductible, sans quoi , avec son coefficient dominant, conviendrait. Donc avec ; par minimalité, et s'écrivent comme annoncé, et leur produit aussi : contradiction.
Unicité. La constante est le coefficient dominant de , puisqu'un produit de polynômes unitaires est unitaire.
Supposons , produits d'irréductibles unitaires, et raisonnons par récurrence sur . Si , le membre de droite est de degré , donc .
Sinon, par (i), étendu à un produit quelconque par récurrence sur le nombre de facteurs, divise l'un des ; comme est irréductible et non constant, ils sont associés, donc égaux puisque tous deux unitaires. On simplifie par , ce que permet l'intégrité de , et l'on conclut par l'hypothèse de récurrence.
(iii) Si , une écriture avec donnerait .
Soit de degré ou . S'il n'est pas irréductible, avec et : l'un des facteurs est de degré , de la forme avec , et est racine de ce facteur, donc de .
Réciproquement, si , alors (Racines, (i)), avec : n'est pas irréductible.
□L'irréductibilité dépend du corps. Le polynôme est irréductible sur , où il prend les valeurs , , en , , ; sur , il s'écrit , puisque .
Sur les corps réels et complexes, la réponse sera donnée par le théorème de d'Alembert-Gauss.
Le critère (iii) ne s'étend pas au degré , et l'erreur la plus répandue est de conclure à l'irréductibilité faute de racine. Sur , le polynôme n'a pas de racine, puisqu'il prend les valeurs , , , et pourtant : il est produit de deux facteurs de degré sans racine.
La démonstration est celle du théorème fondamental de l'arithmétique (Nombres premiers), mot pour mot : les irréductibles unitaires jouent le rôle des nombres premiers, et le lemme d'Euclide vient, dans les deux cas, de Bézout, donc de la division euclidienne.