In matematica , il " criterio di Eisenstein ", pubblicato in precedenza da Theodor Schönemann , fornisce condizioni sufficienti perché un polinomio a coefficienti interi sia irriducibile sul corpo dei numeri razionali . Se questo polinomio è anche primitivo (cioè se non ha divisori costanti non banali), allora è irriducibile anche sull'anello degli interi (infatti, è questa irriducibilità che il criterio afferma; l'irriducibilità sui numeri razionali segue da Gauss lemma ).
Considera un polinomio P ( X ) con coefficienti interi, che indichiamo con
Supponiamo che esista un numero primo p tale che:
Allora P ( X ) è irriducibile nell'anello dei polinomi con coefficienti razionali. Se inoltre P ( X ) è primitivo, allora secondo il lemma di Gauss , P ( X ) è irriducibile nell'anello dei polinomi a coefficienti interi.
DimostrazioneRiduciamo i coefficienti di P ( X ) modulo p . Otteniamo un polinomio di F p [ X ] della forma cX n con elemento c diverso da zero del campo finito F p .
Ragioniamo per assurdo e supponiamo che P = P ( X ) sia fattori in P = QR , dove Q e R sono polinomi di gradi diversi da zero. Dal lemma di Gauss , possiamo supporre che Q e R abbiano coefficienti interi. Riducendo modulo p , vediamo che Q mod p e R mod p sono necessariamente monomi dX k ed eX n - k , dove de = c . In particolare, Q (0) e R (0) sono divisibili per p , quindi a 0 = Q (0) R (0) è divisibile per p 2 , il che è una contraddizione. Quindi P è irriducibile in .
Considera il polinomio
Esaminiamo casi diversi per i seguenti valori p :
In alcuni casi, la scelta del numero primo può non essere ovvia, ma può essere semplificata modificando una variabile della forma Y = X + a , chiamata traduzione .
Ad esempio, considera H ( X ) = X 2 + X + 2 . Gli appare criterio compromesse dal momento che nessun numero primo non divide 1, il coefficiente di X . Ma se traduciamo H in H ( X + 3) = X 2 + 7 X + 14 , vediamo immediatamente che il numero primo 7 divide il coefficiente di X e il coefficiente costante, e che 49 non divide 14. Quindi traducendo abbiamo fatto in modo che il polinomio soddisfacesse il criterio di Eisenstein.
Un altro caso noto è quello del polinomio ciclotomico di indice a intero primo p , ovvero il polinomio
.Qui, il polinomio soddisfa il criterio di Eisenstein, in una nuova variabile Y dopo una traslazione X = Y + 1 . Il coefficiente costante è quindi uguale a p , il coefficiente dominante è uguale a 1 e gli altri coefficienti sono divisibili per p secondo le proprietà dei coefficienti binomiali .
Sia A un anello integrale e sia P un polinomio con coefficienti in A , indicato con
Supponiamo che nessun elemento non invertibile di A divida (tutti i coefficienti di) P , e che esista un ideale primo I di A tale che
Allora P ( X ) è irriducibile in A [ X ]. La dimostrazione è simile a quella data sopra, riducendo modulo I una supposta decomposizione di P ( X ) come prodotto di polinomi non costanti; l'argomento centrale è che sull'anello integra A / I , un polinomio con un solo termine può essere scomposto solo in polinomi che sono anche con un solo termine.
Se A è un anello fattoriale , possiamo prendere per I l'ideale generato da qualsiasi elemento irriducibile. In questo caso, possiamo anche concludere che P ( X ) è irriducibile in K [ X ] dove K è il campo delle frazioni di A , grazie al lemma di Gauss . Per questa conclusione, la condizione che P ( X ) non sia divisibile per nessuna costante non invertibile diventa superflua, perché tale costante (che rende P ( X ) riducibile in A [ X ]) è invertibile in K [ X ], n 'quindi non impedisce l'irriducibilità. Quindi, troviamo la versione base del criterio per A = . In effetti, Gotthold Eisenstein ha formulato il suo criterio per i casi in cui A è o l'anello degli interi relativi o quello degli interi gaussiani .
(it) Keith Conrad , " numeri primi totalmente ramificati e polinomi di Eisenstein "
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">