Critère d'Eisenstein

En mathématiques, le « critère d'Eisenstein », publié auparavant par Theodor Schönemann[1], donne des conditions suffisantes pour qu'un polynôme à coefficients entiers soit irréductible sur l'anneau des polynômes à coefficients rationnels .

Énoncé

modifier

Considérons un polynôme P(X) à coefficients entiers, que l'on note

Supposons qu'il existe un nombre premier p tel que :

  • p divise  ;
  • p ne divise pas an ;
  • p2 ne divise pas a0.

Alors P(X) est irréductible dans l'anneau des polynômes à coefficients rationnels. Si de plus P(X) est primitif (par exemple s'il est unitaire) alors, d'après le lemme de Gauss, P(X) est irréductible dans l'anneau des polynômes à coefficients entiers.

Exemples

modifier

Considérons le polynôme

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(X) 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 le polynôme cyclotomique d'indice un entier premier p, c’est-à-dire le polynôme

Ce 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, le coefficient dominant est égal à 1 et les autres coefficients sont divisibles par p d'après les propriétés des coefficients binomiaux.

Généralisations

modifier

Eisenstein avait formulé son critère[2] pour les cas où A est soit l'anneau des entiers relatifs, soit celui des entiers de Gauss. Ce sont deux anneaux principaux, mais le critère se généralise comme suit, sans modification de la démonstration[3] :

Soit A un anneau factoriel, K son corps des fractions et un polynôme à coefficients dans A, noté

.

On suppose qu'il existe un élément premier p de A tel que

  • p divise  ;
  • p ne divise pas an ;
  • p2 ne divise pas a0.

Alors P(X) est irréductible dans K[X]. Si de plus P(X) est primitif, alors il est aussi irréductible dans A[X].

Plus généralement[4], si

  • p divise ,
  • p ne divise pas ak et
  • p2 ne divise pas a0,

alors l'un des facteurs irréductibles de P(X) dans A[X] est de degré .

Notes et références

modifier
  1. (de) T. Schönemann, « Von denjenigen Moduln, welche Potenzen von Primzahlen sind », J. reine angew. Math., vol. 32,‎ , p. 93-118 (lire en ligne), p. 100.
  2. (de) G. Eisenstein, « Über die Irreductibilität und einige andere Eigenschaften der Gleichung, von welcher die Theilung der ganzen Lemniscate abhängt », J. reine angew. Math., vol. 39,‎ , p. 160-179 (lire en ligne), p. 167.
  3. Serge Lang, Algèbre [détail des éditions], lire en ligne.
  4. (en) W. E. Deskins, Abstract Algebra, Dover, (lire en ligne), p. 326, exercice 10.

Voir aussi

modifier

Articles connexes

modifier

Lien externe

modifier

(en) Keith Conrad, « Totally ramified primes and Eisenstein polynomials »