En matemáticas, o criterio de Eisenstein fornece unha condición suficiente para que un polinomio con coeficientes enteiros sexa irredutíbel sobre os números racionais, isto é, para que sexa imposíbel factorizalo como o produto de polinomios non constantes con coeficientes racionais.
Este criterio non é aplicábel a tódolos polinomios con coeficientes enteiros que son irredutíbeis sobre os números racionais, mais permite demostrar a irredutibilidade en certos casos importantes, con moi pouco esforzo. Pode ser aplicado directamente ou após unha transformación do polinomio orixinal.
Este criterio recibe o nome de Gotthold Eisenstein. No inicio do século XX, tamén era coñecido como teorema de Schönemann–Eisenstein porque Theodor Schönemann foi o primeiro a publicalo.
Criterio Supoña que se teña o seguinte polinomio con coeficientes enteiros.
Se existe un número primo p tal que as tres condicións seguintes se cumpren:
p divide cada para , p non divide , e non divide ,
entón Q é irredutíbel sobre os números racionais. Tamén será irredutíbel sobre os enteiros, a menos que tódolos seus coeficientes teñan un factor non trivial en común (neste caso, Q como un polinomio en números enteiros terá algún número primo, necesariamente distinto de p, como un factor irredutíbel). Esa última posibilidade pode ser evitada facendo, primeiramente, con que Q sexa primitivo, dividíndoo polo maior divisor común dos seus coeficientes (o contido de Q). Esta división non se altera se Q é redutíbel ou non sobre os números racionais (ver factoración polinomial para máis detalles), e non invalida as hipóteses do criterio para p (pola contra podería facer o criterio ser válido para algún primo, mesmo se non o fose antes da división).
Exemplos Pódese aplicar o criterio de Eisenstein tanto directamente (por exemplo, usando o polinomio orixinal) ou após unha transformación do polinomio orixinal.
Directo (sen transformación) Consíderese o polinomio . Para que o criterio de Eisenstein se aplique para un número primo p este debe dividir ambos os coeficientes non dominantes, e , o que significa que só podería funcionar, e de feito iso ocorre, pois non divide o coeficiente dominante , e o seu cadrado é , que non divide o coeficiente constante . Pódese por tanto concluír que é irredutíbel sobre (e como é primitivo, tamén é irredutíbel sobre Z). Nótese que como Q é de grao 4, esa conclusión non podería ser estabelecida verificando apenas que Q non posúe raíces racionais (que elimina a posibilidade de factores de grao 1), pois tamén sería posíbel unha descomposición en dous factores cadráticos.
Indirecto (despois dunha transformación) Moitas veces o criterio de Eisenstein non se aplica a ningún número primo. No entanto, pode ser que si que aplique (para algún número primo) ao polinomio obtido após a substitución de x por (para algún enteiro a). O feito de o polinomio obtido despois da substitución ser irredutíbel, permite entón concluír que o polinomio orixinal tamén o é. Este procedemento é coñecido como a aplicación dun deslocamento ou translación.
Por exemplo, considerando , en que o coeficiente 1 do termo x non é divisíbel por ningún primo, o criterio de Eisenstein non se aplica a H. Mais se cada x en H for substituído por , obtense o polinomio , que satisfai o criterio de Eisenstein para o número primo . Como a substitución é un automorfismo do anel , o feito de obterse un polinomio irredutíbel despois da substitución implica que se tiña un polinomio irredutíbel orixinalmente. Neste exemplo en particular, sería máis simple argumentar que H (sendo mónico de grao 2) só podería ser redutíbel se tivese unha raíz enteira, o que, obviamente, non posúe; no entanto, o principio xeral de tentar substitucións para facer que o criterio de Eisenstein sexa aplicábel é unha maneira útil de ampliar o seu ámbito de aplicación.
Outra posibilidade para transformar un polinomio de modo a satisfacer o criterio, que pode ser combinada coa aplicación dun deslocamento, é inverter a orde dos seus coeficientes, con tanto que o seu termo constante sexa diferente de cero (en suma, se non fose o polinomio xa sería divisíbel por x). Iso pode ser feito porque eses polinomios son redutíbeis en se, e soamente se, eles son redutíbeis en (para calquera dominio de integridade ), e neste anel a substitución de x por inverte a orde dos coeficientes (de forma simétrica en relación ao coeficiente constante, mais unha subsecuente mudanza no expoñente corresponde á multiplicación por unha unidade). Como por exemplo, satisfai o criterio para , despois de inverter os seus coeficientes e (sendo primitivo) é, por tanto, irredutíbel en .
Polinomios ciclotómicos Unha clase importante de polinomios cuxa irredutibilidade pode ser estabelecida usando o criterio de Eisenstein é a dos polinomios ciclotómicos para números primos p. Un polinomio deste tipo é obtido ao dividir o polinomio polo factor , correspondente á súa raíz obvia (que, se , é a súa única raíz racional):
Que, tal como no exemplo anterior de H, os coeficientes iguais a impiden que o criterio de Eisenstein sexa aplicado directamente. No entanto, o polinomio satisfará o criterio para p após a substitución de x por : iso resulta en:
en que tódolos coeficientes non dominantes son divisíbeis por p, por propiedades dos coeficientes binomiais, e cuxo coeficiente constante é igual a p, e, por tanto, non divisíbel por . Unha forma alternativa de chegar a esta conclusión usa a identidade , que é válida en característica p (e que está baseada nas mesmas propiedades dos coeficientes binomiais, e dá orixe ao endomorfismo de Frobenius), para calcular a redución módulo p do cociente de polinomios:
o que significa que os coeficientes non dominantes do cociente son todos divisíbeis por p; a verificación que falta, de que o termo constante do cociente é p, pode ser feita substituíndose x por 1 (en vez de ) na forma expandida .
Historia O primeiro a publicar unha versión do criterio foi Theodor Schönemann,. en 1846, no Jornal de Crelle, onde consta (en tradución libre)Que será irredutíbel módulo cando módulo non contén un factor .Esta formulación xa incorpora unha mudanza para en vez de ; a condición sobre F(x) significa que non é divisíbel por p, e así é divisíbel por , mais non por p2. Da forma como está, a afirmación non é enteiramente correcta, no sentido de que non fai suposicións sobre o grao do polinomio , de modo que o polinomio considerado non precisa ter o grao que a súa expresión suxire; o exemplo x2 + p(x3 + 1) ≡ (x2 + p)(px + 1) mod p2, mostra que a conclusión non é válida sen tal hipótese. Asumindo que o grao de non exceda , o criterio é correcto, no entanto, e un pouco máis forte do que a formulación dada enriba, pois se é irredutíbel módulo , certamente non pode ser descomposto en en factores non constantes.
Posteriormente, Eisenstein publicou unha versión un pouco diferente, en 1850, tamén no Jornal de Crelle. Nesta versión, traducida para o galego, lese: Cando nun polinomio en x de grao arbitrario, o coeficiente do maior termo é , e tódolos coeficientes seguintes son números enteiros (reais ou complexos), os cales son divisíbeis por un certo número primo (real resp. complexo) , e cando, alén diso, o último coeficiente é igual a εm, onde denota un número non divisíbel por m: entón é imposíbel escribir na forma
onde μ, ν ≥ 1, μ + ν = deg(F(x)), e tódolos e son números enteiros (respectivamente reais ou complexos); a ecuación , por tanto, é irredutíbel.
Aquí, "números enteiros reais" son os números enteiros usuais e "números enteiros complexos" son os enteiros de Gauss; a interpretación de "números primos reais e complexos" debe ser análoga. A aplicación para a cal Eisenstein desenvolveu seu criterio, foi o estabelecemento da irredutibilidade de certos polinomios con coeficientes nos enteiros de Gauss que xorden no estudo da división da lemniscata en pedazos de mesma lonxitude de arco.
Notabelmente tanto Schönemann canto Eisenstein, despois de teren formulado os seus respectivos criterios para a irredutibilidade, aplicáronos inmediatamente para dar unha proba elemental da irredutibilidade dos polinomios ciclotómicos para números primos, un resultado que Gauss obtivera no seu traballo Disquisitiones Arithmeticae cunha proba moito máis complicada. Na verdade, Eisenstein acrecenta nunha nota de rodapé que a única proba desa irredutibilidade que el coñece, alén da de Gauss, é unha dada por Kronecker, en 1845. Iso mostra que el non tiña coñececemento das dúas probas diferentes desa afirmación que Schönemann dera no seu artigo de 1846, en que a segunda proba foi baseada no criterio mencionado anteriormente. Isto é aínda máis sorprendente se for considerado o feito de que dúas páxinas adiante, Eisenstein, na verdade, refírese (para un asunto diferente) á primeira parte do artigo de Schönemann. Nunha nota ("Notiz"), que apareceu no número seguinte da revista, Schönemann apunta iso para Eisenstein, e indica que o último método non é esencialmente diferente do que el usou na segunda demostración.
Proba básica
Para probar a validade do criterio, supoña que Q satisfaga o criterio para o número primo p, mais que, no entanto, sexa redutíbel en , co obxectivo de obter unha contradición. A partir do lema de Gauss concluíse que Q tamén é irredutíbel en , e na verdade pode ser escrito como o produto de dous polinomios non constantes (no caso de Q non ser primitivo, aplicase o lema ao polinomio primitivo (onde o enteiro c é o contido de Q, isto é, o máximo común divisor dos coeficientes de Q) para obter unha descomposición para el, e multiplícase un dos factores por c para obter unha descomposición de Q). Agora reduza módulo p para obter unha descomposición en (Z/pZ)[x]. Mais por hipótese esa redución de Q deixa o seu termo de maior grao, da forma axn para algunha constante non nula a en Z/pZ, como o único termo non nulo. Mais entón as reducións módulo p de G e H necesariamente fan desaparecer tódolos termos de menor grao (e non poden facer desaparecer os seus termos de maior grao), pois non é posíbel ningunha outra descomposición de axn en (Z/pZ)[x], que é un dominio de factorización única. En particular os termos constantes de G e H desaparecen após a redución, e como tal son divisíbeis por p, e entón o termo constante de Q, que é o produto deles, é divisíbel por p2, contradicindo a hipótese, e tense unha contradición.
Unha segunda proba do criterio de Eisenstein tamén comeza coa suposición de que o polinomio sexa irredutíbel e remata mostrando que esa suposición implica unha contradición.
A suposición de que
sexa redutíbel implica que hai dous polinomios e que
.
Cada un dos polinomios e ten coeficientes e
tales que , e . O coeficiente do polinomio pode ser dividido polo primo , mais non por . Como , é posíbel dividir ou por , mais non ambos. Pódese supoñer, sen perda de xeneralidade, que:
o coeficiente pode ser dividido por e o coeficiente non pode ser dividido por .
Por hipótese, non divide . Considerando que , nin e nin poden ser divididos por . Así, se é o r-ésimo coeficiente do polinomio redutíbel , entón (posibelmente con no caso de )
en que non pode ser dividido por , porque nin nin poden ser divididos por .
Probarase que son todos divisíbeis por . Como tamén é divisíbel por (pola hipótese do criterio), iso implica que é divisíbel por , unha contradición que comproba o criterio.
É posíbel dividir por , porque pode ser dividido por .
Pola suposición inicial, é posíbel dividir o coeficiente do polinomio por . Como
e como non é un múltiplo de debe ser posíbel dividir por . Analogamente, por indución, é un múltiplo de para todo , o que termina a proba.
Xeneralización
Criterio xeneralizado Dado un dominio de integridade D, sexa
un elemento de , o anel de polinomios con coeficientes en D.
Supoña que existe un ideal primo de D tal que
para cada , , e , onde é o produto de ideais de con si mesmo.