Criterio de Eisenstein

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.

: Q(x)=a_nx^n+a_{n1}x^{n1}+\cdots+a_1x+a_0

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):

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

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:

: \frac{(x+1)^p - 1}{x} = x^{p - 1} + \binom{p}{p-1}x^{p -2} + \cdots + \binom{p}2 x + \binom{p}1,

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:

: \frac{(x+1)^{p-1}}{x} \equiv \frac{x^p +1^p-1}{x} = \frac{x^p}{x} = x^{p-1}\pmod p,

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 *p*2. 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 *x*2 + *p*(*x*3 + 1) ≡ (*x*2 + *p*)(*px* + 1) mod *p*2, 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&#x20;, 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

: \left (x^{\mu} + a_1 x^{\mu - 1} + \cdots + a_{\mu} \right) \left (x^{\nu} + b_1 x^{\nu - 1} + \cdots + b_{\nu} \right)

onde *μ*, *ν*&nbsp;≥&nbsp;1, *μ*&nbsp;+&nbsp;*ν*&nbsp;= 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

: Q\left(x\right)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0

sexa redutíbel implica que hai dous polinomios  e  que

: Q(x)=G(x)\cdot H(x).

Cada un dos polinomios  e  ten coeficientes  e 

: G(x)=c_r x^r + c_{r-1} x^{r-1} + \cdots + c_0
: H(x)=d_s x^s + d_{s-1} x^{s-1} + \cdots + d_0

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, p non divide a_n. Considerando que , nin  e nin  poden ser divididos por . Así, se a_r é o r-ésimo coeficiente do polinomio redutíbel Q, entón (posibelmente con d_t = 0 no caso de t>s)

: a_r=c_r d_0 + c_{r-1}d_1 + \cdots + c_0 d_r

en que c_r d_0 non pode ser dividido por p, porque nin d_0 nin c_r poden ser divididos por p.

Probarase que c_0, c_1, \ldots, c_{r1} son todos divisíbeis por . Como a_r tamén é divisíbel por  (pola hipótese do criterio), iso implica que c_r d_0 = a_r(c_{r-1}d_1 + \cdots + c_0 d_r)  é divisíbel por , unha contradición que comproba o criterio.

É posíbel dividir c_0 d_r por p, porque c_0 pode ser dividido por p.

Pola suposición inicial, é posíbel dividir o coeficiente  do polinomio  por . Como

: a_1=c_0 d_1 + c_1 d_0

e como  non é un múltiplo de  debe ser posíbel dividir  por . Analogamente, por indución, c_i é un múltiplo de p para todo i, o que termina a proba.

## Xeneralización 
### Criterio xeneralizado 
Dado un dominio de integridade D, sexa

: Q=\sum_{i=0}^n a_ix^i

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.

Entón Q non pode ser escrito como un produto de dous polinomios non constantes en . Se, alén diso, Q é primitivo (isto é, non ten divisores non triviais *constantes*), entón é irredutíbel en . Se D é un dominio de factorización única con corpo de fraccións F, entón polo lema de Gauss Q é irredutíbel en , sexa primitivo ou non (pois factores constantes son inservíbeis en ); neste caso, unha posíbel escolla de ideal primo é o ideal principal xerado por calquera elemento irredutíbel de D. A última afirmación resulta no teorema orixinal para  ou (na formulación de Eisenstein) para .

### Proba 
A proba desta xeneralización é semellante aquela da formulación orixinal, considerándose a redución dos coeficientes módulo ; o punto esencial é que un polinomio de termo único sobre o dominio de integridade  non pode ser descomposto como un produto en que polo menos un dos factores ten máis dun termo (porque nun tal produto non pode haber cancelamento do coeficiente nin de maior nin de menor grao posíbel).

### Exemplo 
Despois de , un dos exemplos básicos dun dominio de integridade é o anel de polinomios  na variábel u sobre o corpo k. Neste caso, o ideal principal xerado por u é un ideal primo. O criterio de Eisenstein pode entón ser utilizado para probar a irredutibilidade dun polinomio tal como  en . De feito, u non divide ,  non divide , e u divide  e . Iso mostra que este polinomio satisfai as hipóteses da xeneralización do criterio de Eisenstein para o ideal primo  pois, para un ideal principal , ser un elemento de  é equivalente a ser divisíbel por u.

## Notas 
## Véxase tamén 
### Bibliografía 
* .
* .
* .
* .
* 
* .
*