Critère d'Eisenstein

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, le critère d'Eisenstein donne des conditions suffisantes pour qu'un polynôme soit irréductible sur le corps des nombres rationnels (ou sur l'anneau des entiers relatifs, ce qui est équivalent d'après le lemme de Gauss).

[modifier] Enoncé

Considérons le polynôme P à coefficients entiers, que l'on note

P=a_nX^n+a_{n-1}X^{n-1}+\ldots+a_1X+a_0.

Supposons qu'il existe un nombre premier p tel que

  • p divise chaque ai (pour  i\in \{0,1,\ldots,n-1\}),
  • p ne divise pas an,
  • p2 ne divise pas a0.

Alors P est irréductible sur \mathbb{Z}[X], l'ensemble des polynômes à coefficients entiers.

[modifier] Exemples

Considérons le polynôme P = 3X4 + 15X2 + 10.

Nous examinons différents cas pour les valeurs de p suivantes

  • p = 2. 2 ne divise pas 15, on ne peut pas conclure
  • p = 3. 3 ne divise pas 10, on ne peut pas conclure
  • p = 5. 5 divise 15, le coefficient de X2, et 10 le coefficient constant. 5 ne divise pas 3, le coefficient dominant. En outre, 25 = 52 ne divise pas 10. Ainsi, nous concluons grâce au critère d'Eisenstein que P est irréductible.

Dans certains cas le choix du nombre premier peut ne pas être évident, mais peut être facilité par un changement de variable de la forme Y = X + a, appelé translation.

Par exemple considérons H = X2 + X + 2. L'application du critère semble compromise puisque qu'aucun nombre premier ne divisera 1, le coefficient de X. Mais si nous translatons H en H(X + 3) = X2 + 7X + 14, nous voyons immédiatement que le nombre premier 7 divise le coefficient de X et de le coefficient constant et que 49 ne divise pas 14. Ainsi en translatant le polynôme nous l'avons fait satisfaire le critère d'Eisenstein.

Un autre cas connu est celui du polynôme cyclotomique d'indice un entier premier p, c’est-à-dire le polynôme

\frac{X^p - 1}{X - 1} = X^{p - 1} + X^{p - 2} + \cdots + X + 1..

Ici, le polynôme satisfait le critère d'Eisenstein, dans une nouvelle variable Y après une translation X = Y + 1. Le coefficient constant est alors égal à p; les autres coefficients sont divisibles par p d'après les propriétés des coefficients binomiaux.

[modifier] Généralisation

Soit A un anneau intègre et soit P un polynôme à coefficients dans A, noté

P=\sum_{i=0}^n a_i X^1.

On suppose qu'il existe un idéal premier I de A tel que

  • a_i \in I pour tout  i \in \{0,1,\ldots,n-1\},
  • a_n \notin I,
  • a_0 \notin I^2, où I2 est le produit de l'idéal I par lui-même.

Alors P est irréductible sur le corps des fractions F(X) de A[X].