ATLAS Ouvrir dans l'atlas →

Théorème 6Anneaux de polynômes

Polynômes irréductibles et factorisation unique

Soit KK un corps. Un polynôme non constant P∈K[X]P \in {K[X]} est irréductible s'il n'est pas le produit de deux polynômes de degrés strictement inférieurs au sien. Comme deg⁡D+deg⁡E=deg⁡P\deg D + \deg E = \deg P quand P=DEP = DE (Anneau A[X], (iii)), cela revient à dire que les seuls diviseurs de PP sont les constantes non nulles et les polynômes associés à PP.

Énoncé

(i) Lemme d'Euclide. Si PP est irréductible et divise ABAB, il divise AA ou BB.

(ii) Factorisation. Tout polynôme non constant PP s'écrit P=c P1⋯PrP = c\,P_1 \cdots P_r, avec c∈Kc \in K non nul et P1,…,PrP_1, \dots, P_r irréductibles unitaires, et cette écriture est unique à l'ordre des facteurs près. En regroupant les facteurs égaux, P=c∏iPimiP = c\prod_i P_i^{m_i} avec des PiP_i deux à deux distincts.

(iii) Tout polynôme de degré 11 est irréductible. Un polynôme de degré 22 ou 33 est irréductible si et seulement s'il n'a pas de racine dans KK.

Démonstration

(i) Le PGCD P∧AP \wedge A divise PP (K[X] principal, (ii)) ; il est donc 11, ou associé à PP, auquel cas PP divise AA. S'il vaut 11, le lemme de Gauss (K[X] principal, (iii)) donne P∣BP \mid B.

(ii) Existence. Sinon, soit nn le plus petit degré d'un polynôme non constant sans telle écriture, et PP un tel polynôme (Bon ordre sur ℕ). Il n'est pas irréductible, sans quoi P=c⋅(c−1P)P = c \cdot (c^{-1}P), avec cc son coefficient dominant, conviendrait. Donc P=DEP = DE avec 1⩽deg⁡D,deg⁡E<n1 \leqslant \deg D, \deg E < n ; par minimalité, DD et EE s'écrivent comme annoncé, et leur produit aussi : contradiction.

Unicité. La constante cc est le coefficient dominant de PP, puisqu'un produit de polynômes unitaires est unitaire.

Supposons P1⋯Pr=Q1⋯QsP_1 \cdots P_r = Q_1 \cdots Q_s, produits d'irréductibles unitaires, et raisonnons par récurrence sur rr. Si r=0r = 0, le membre de droite est de degré 00, donc s=0s = 0.

Sinon, par (i), étendu à un produit quelconque par récurrence sur le nombre de facteurs, P1P_1 divise l'un des QjQ_j ; comme QjQ_j est irréductible et P1P_1 non constant, ils sont associés, donc égaux puisque tous deux unitaires. On simplifie par P1P_1, ce que permet l'intégrité de K[X]K[X], et l'on conclut par l'hypothèse de récurrence.

(iii) Si deg⁡P=1\deg P = 1, une écriture P=DEP = DE avec deg⁡D,deg⁡E<1\deg D, \deg E < 1 donnerait deg⁡P=deg⁡D+deg⁡E⩽0\deg P = \deg D + \deg E \leqslant 0.

Soit PP de degré 22 ou 33. S'il n'est pas irréductible, P=DEP = DE avec deg⁡D+deg⁡E=deg⁡P\deg D + \deg E = \deg P et 1⩽deg⁡D,deg⁡E1 \leqslant \deg D, \deg E : l'un des facteurs est de degré 11, de la forme αX+β\alpha X + \beta avec α≠0\alpha \neq 0, et −α−1β-\alpha^{-1}\beta est racine de ce facteur, donc de PP.

Réciproquement, si P(a)=0P(a) = 0, alors P=(X−a)QP = (X - a)Q (Racines, (i)), avec 1⩽deg⁡Q<deg⁡P1 \leqslant \deg Q < \deg P : PP n'est pas irréductible.

□
Remarque

L'irréductibilité dépend du corps. Le polynôme X2+1X^2 + 1 est irréductible sur ℤ/3ℤ{\mathbb Z/3\mathbb Z}, où il prend les valeurs 1‾\overline 1, 2‾\overline 2, 2‾\overline 2 en 0‾\overline 0, 1‾\overline 1, 2‾\overline 2 ; sur ℤ/5ℤ\mathbb Z/5\mathbb Z, il s'écrit (X−2‾)(X−3‾)(X - \overline 2)(X - \overline 3), puisque 4‾+1‾=0‾\overline 4 + \overline 1 = \overline 0.

Sur les corps réels et complexes, la réponse sera donnée par le théorème de d'Alembert-Gauss.

Remarque

Le critère (iii) ne s'étend pas au degré 44, et l'erreur la plus répandue est de conclure à l'irréductibilité faute de racine. Sur ℤ/3ℤ\mathbb Z/3\mathbb Z, le polynôme X4+1X^4 + 1 n'a pas de racine, puisqu'il prend les valeurs 1‾\overline 1, 2‾\overline 2, 2‾\overline 2, et pourtant X4+1=(X2+X+2‾)(X2+2‾X+2‾)X^4 + 1 = (X^2 + X + \overline 2)(X^2 + \overline 2X + \overline 2) : il est produit de deux facteurs de degré 22 sans racine.

Remarque

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.

Ouvrir dans l'atlas interactif →