Critério de Eisenstein

Em matemática, o critério de Eisenstein fornece uma condição suficiente para que um polinômio com coeficientes inteiros seja irredutível sobre os números racionais, isto é, para que seja impossível fatorá-lo como o produto de polinômios não constantes com coeficientes racionais.

Este critério não é aplicável a todos os polinômios com coeficientes inteiros que são irredutíveis sobre os números racionais, mas ele permite demonstrar a irredutibilidade em certos casos importantes, com muito pouco esforço. Ele pode ser aplicado diretamente ou após uma transformação do polinômio original.

Este critério recebe o nome de Gotthold Eisenstein. No início do século XX, ele também era conhecido como teorema de Schönemann–Eisenstein porque Theodor Schönemann foi o primeiro a publicá-lo.

Critério

Suponha que se tenha o seguinte polinômio com coeficientes inteiros.

$Q(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0$

Se existe um número primo p tal que as três condições seguintes se aplicam:

• p divide cada Predefinição:Math para Predefinição:Math,
• p não divide Predefinição:Math, e
• Predefinição:Math não divide Predefinição:Math,

então Q é irredutível sobre os números racionais. Ele também será irredutível sobre os inteiros, a menos que todos os seus coeficientes tenham um fator não trivial em comum (neste caso, Q como um polinômio em números inteiros terá algum número primo, necessariamente distinto de p, como um fator irredutível). Essa última possibilidade pode ser evitada fazendo, primeiramente, com que Q seja primitivo, dividindo-o pelo maior divisor comum de seus coeficientes (o conteúdo de Q). Esta divisão não alterar se Q é redutível ou não sobre os números racionais (ver fatoração em parte primitiva e conteúdo para mais detalhes), e não invalida as hipóteses do critério para p (pelo contrário ela poderia fazer o critério ser válido para algum primo, mesmo se não o fosse antes da divisão).

Exemplos

Pode-se aplicar o critério de Eisenstein tanto diretamente (por exemplo, usando o polinômio original) ou após uma transformação do polinômio original.

Direto (sem transformação)

Considere o polinômio Predefinição:Math. Para que o critério de Eisenstein se aplique para um número primo p este deve dividir ambos os coeficientes não-líderes, Predefinição:Math e Predefinição:Math, o que significa que só Predefinição:Math poderia funcionar, e de fato isso ocorre pois Predefinição:Math não divide o coeficiente líder Predefinição:Math, e o seu quadrado é Predefinição:Math, que não divide o coeficiente constante Predefinição:Math. Pode-se portanto concluir que Predefinição:Mvar é irredutível sobre Predefinição:Math (e como ele é primitivo, também sobre Z). Note que como Q é de grau 4, essa conclusão não poderia ser estabelecida verificando apenas que Q não possui raízes racionais (que elimina a possibilidade de fatores de grau 1), pois também seria possível uma decomposição em dois fatores quadráticos.

Indireto (depois de uma transformação)

Muitas vezes o critério de Eisenstein não se aplica a nenhum número primo. No entanto, pode ser que ele se aplique (para algum número primo) ao polinômio obtido após a substituição de x por Predefinição:Math (para algum inteiro a). O fato de o polinômio obtido depois da substituição ser irredutível, permite então concluir que o polinômio original também é. Este procedimento é conhecido como a aplicação de uma deslocamento ou translação.

Por exemplo, considerando Predefinição:Math, em que o coeficiente 1 do termo x não é divisível por nenhum primo, o critério de Eisenstein não se aplica a H. Mas se cada x em H for substituído por Predefinição:Math, obtém-se o polinômio Predefinição:Math, que satisfaz o critério de Eisenstein para o número primo Predefinição:Math. Como a substituição é um automorfismo do anel Predefinição:Math, o fato de ser obtido um polinômio irredutível depois da substituição implica que se tinha um polinômio irredutível originalmente. Neste exemplo em particular, teria sido mais simples argumentar que H (sendo mônico de grau 2) só poderia ser redutível se tivesse uma raiz inteira, o que, obviamente, não possui; no entanto, o princípio geral de tentar substituições para fazer com o que o critério de Eisenstein se aplique é uma maneira útil de ampliar o seu âmbito de aplicação.

Outra possibilidade para transformar um polinômio de modo a satisfazer o critério, que pode ser combinada com a aplicação de um deslocamento, é inverter a ordem de seus coeficientes, contanto que o seu termo constante seja diferente de zero (afinal, se não fosse o polinômio já seria divisível por x). Isso pode ser feito porque esses polinômios são redutível em Predefinição:Math se, e somente se, eles são redutíveis em Predefinição:Math (para qualquer domínio de integridade Predefinição:Math), e neste anel a substituição de x por Predefinição:Math inverte a ordem dos coeficientes (de forma simétrica em relação ao coeficiente constante, mas uma subsequente mudança no expoente corresponde à multiplicação por uma unidade). Como um exemplo, Predefinição:Math satisfaz o critério para Predefinição:Math, depois de inverter os seus coeficientes e (sendo primitivo) é, portanto, irredutível em Predefinição:Math.

Polinômios ciclotômicos

Uma classe importante de polinômios cuja irredutibilidade pode ser estabelecida usando o critério de Eisenstein é a dos polinômios ciclotômicos para números primos p. Um polinômio deste tipo é obtido dividindo-se o polinômio Predefinição:Math pelo fator Predefinição:Math, correspondente à sua raiz óbvia Predefinição:Math (que, se Predefinição:Math, é a sua única raiz racional):

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

Aqui, tal como no exemplo anterior de H, os coeficientes iguais a Predefinição:Math impedem que o critério de Eisenstein seja aplicado diretamente. No entanto, o polinômio satisfará o critério para p após a substituição de x por Predefinição:Math: isso resulta em:

$\frac{(x+1{)}^p-1}{x}=x^{p-1}+(\genfrac{}{}{0ex}{}{p}{p-1})x^{p-2}+\cdots +(\genfrac{}{}{0ex}{}{p}{2})x+(\genfrac{}{}{0ex}{}{p}{1}),$

em que todos os coeficientes não-líderes são divisíveis por p, por propriedades dos coeficientes binomiais, e cujo coeficiente constante é igual a p, e, portanto, não divisível por Predefinição:Math. Uma forma alternativa de chegar a esta conclusão é usar a identidade Predefinição:Math , que é válida em característica p (e que é baseada nas mesmas propriedades dos coeficientes binomiais, e dá origem ao endomorfismo de Frobenius), para calcular a redução módulo p do quociente de polinômios:

$\frac{(x+1{)}^p-1}{x}\equiv \frac{x^p+1^p-1}{x}=\frac{x^p}{x}=x^{p-1}(\mathrm{mod}p),$

o que significa que os coeficientes não-líderes do quociente são todos divisível por p; a verificação que resta, de que o termo constante do quociente é p, pode ser feita substituindo-se x por 1 (em vez de Predefinição:Math) na forma expandida Predefinição:Math.

História

O primeiro a publicar uma versão do critério foi Theodor Schönemann, em 1846, no Jornal de Crelle, onde consta (em tradução livre)

Que Predefinição:Math será irredutível módulo Predefinição:Math quando Predefinição:Math módulo Predefinição:Math não contém um fator Predefinição:Math.

Esta formulação já incorpora uma mudança para Predefinição:Math em vez de Predefinição:Math; a condição sobre F(x) significa que Predefinição:Math não é divisível por p, e assim Predefinição:Math é divisível por Predefinição:Math, mas não por p². Da forma como está, a afirmação não é inteiramente correta, no sentido de que ela não faz suposições sobre o grau do polinômio Predefinição:Math, de modo que o polinômio considerado não precisa ter o grau Predefinição:Math que a sua expressão sugere; o exemplo x² + p(x³ + 1) ≡ (x² + p)(px + 1) mod p², mostra que a conclusão não é válida sem tal hipótese. Assumindo que o grau de Predefinição:Math não exceda Predefinição:Math, o critério é correto, no entanto, e um pouco mais forte do que a formulação dada acima, pois se Predefinição:Math é irredutível modulo Predefinição:Math, certamente não pode ser decomposto em Predefinição:Math em fatores não constantes.

Posteriormente, Eisenstein publicou uma versão um pouco diferente, em 1850, também no Jornal de Crelle. Nsta versão, traduzida para o português, lê-se:

Quando em um polinômio Predefinição:Math em x de grau arbitrário, o coeficiente do maior termo é Predefinição:Math, e todos os coeficientes seguintes são números inteiros (reais, complexos), os quais são divisíveis por um certo número primo (real resp. complexo) Predefinição:Math, e quando, além disso, o último coeficiente é igual a εm, onde Predefinição:Math denota um número não divisível por m: então é impossível escrever Predefinição:Math na forma

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

onde μ, ν ≥ 1, μ + ν = deg(F(x)), e todos os Predefinição:Math e b são números inteiros (reais resp. complexos); a equação Predefinição:Math , portanto, é irredutível.

Aqui, "números inteiros reais" são os números inteiros usuais e "números inteiros complexos" são os inteiros de Gauss; a interpretação de "números primos reais e complexos" deve ser análoga. A aplicação para a qual Eisenstein desenvolveu seu critério, foi o estabelecimento da irredutibilidade de certos polinômios com coeficientes nos inteiros de Gauss que surgem no estudo da divisão da lemniscata em pedaços de mesmo comprimento de arco.

Notavelmente tanto Schönemann quanto Eisenstein, depois de terem formulado seus respectivos critérios para a irredutibilidade, os aplicaram imediatamente para dar uma prova elementar da irredutibilidade dos polinômios ciclotômicos para números primos, um resultado que Gauss tinha obtido em seu trabalho Disquisitiones Arithmeticae com uma prova muito mais complicada. Na verdade, Eisenstein acrescenta em uma nota de rodapé que a única prova dessa irredutibilidade que ele conhece, além da de Gauss, é uma dada por Kronecker, em 1845. Isso mostra que ele não tinha ciência das duas provas diferentes dessa afirmação que Schönemann tinha dado em seu artigo de 1846, em que a segunda prova foi baseada no critério mencionado anteriormente. Isto é ainda mais surpreendente se for considerado o fato de que duas páginas adiante, Eisenstein, na verdade, refere-se (para um assunto diferente) à primeira parte do artigo de Schönemann. Em uma nota ("Notiz"), que apareceu no número seguinte da revista, Schönemann aponta isso para Eisenstein, e indica que o último método não é essencialmente diferente do que ele usou na segunda demonstração.

Prova básica

Para provar a validade do critério, suponha que Q satisfaça o critério para o número primo p, mas que, no entanto, seja redutível em Predefinição:Math, com o objetivo de obter uma contradição. A partir do lema de Gauss conclui-se que Q também é irredutível em Predefinição:Math, e na verdade pode ser escrito como o produto Predefinição:Math de dois polinômios não-constantes Predefinição:Math (no caso de Q não ser primitivo, aplica-se o lema ao polinômio primitivo Predefinição:Math (onde o inteiro c é o conteúdo de Q) para obter uma decomposição para ele, e multiplica-se um dos fatores por c para obter uma decomposição de Q). Agora reduza Predefinição:Math módulo p para obter uma decomposição em (Z/pZ)[x]. Mas por hipótese essa redução de Q deixa o seu termo de maior grau, da forma ax^n para alguma constante não nula a em Z/pZ, como o único termo não nulo. Mas então as reduções módulo p de G e H necessariamente fazem com que todos os termos de menor grau sumam (e não podem fazer os seus termos de maior grau sumirem), pois não é possível nenhuma outra decomposição de ax^n em (Z/pZ)[x], que é um domínio de fatoração única. Em particular os termos constantes de G e H somem após a redução, e como tal são divisíveis por p, e então o termo constante de Q, que é o produto deles, é divisível por p^2, contrariando a hipótese, e tem-se uma contradição.

Uma segunda prova do critério de Eisenstein também começa com a suposição de que o polinômio Predefinição:Math seja irredutível. É mostrado que essa suposição implica uma contradição.

A suposição de que

$Q\left(x\right)=a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0$

seja redutível implica que há dois polinômios Predefinição:Math e Predefinição:Math com

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

Cada um dos polinômios Predefinição:Math e Predefinição:Math tem coeficientes Predefinição:Math e Predefinição:Math

$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$

tais que Predefinição:Math, Predefinição:Math e Predefinição:Math. O coeficiente Predefinição:Math do polinômio Predefinição:Math pode ser dividido pelo primo Predefinição:Math, mas não por Predefinição:Math. Como Predefinição:Math, é possível dividir Predefinição:Math ou Predefinição:Math por Predefinição:Math, mas não ambos. Pode-se continuar, sem perda de generalidade:

• com um coeficiente Predefinição:Math que pode ser dividido por Predefinição:Math e
• com um coeficiente Predefinição:Math que não pode ser dividido por Predefinição:Math.

Por hipótese, $p$ não divide $a_n$. Considerando que Predefinição:Math, nem Predefinição:Math e nem Predefinição:Math podem ser divididos por Predefinição:Math. Assim, se $a_r$ é o $r$-ésimo coeficiente do polinômio redutível $Q$, então (possivelmente com $d_t=0$ no caso de $t>s$)

$a_r=c_r{d}_0+c_{r-1}{d}_1+\cdots +c_0{d}_r$

em que $c_r{d}_0$ não pode ser dividido por $p$, porque nem $d_0$ nem $c_r$ podem ser divididos por $p$.

Será provado que $c_0,c_1,\dots ,c_{r-1}$ são todos divisível por Predefinição:Math. Como $a_r$ também é divisível por Predefinição:Math (pela hipótese do critério), isso implica que $c_r{d}_0=a_r-(c_{r-1}{d}_1+\cdots +c_0{d}_r)$ é divisível por Predefinição:Math, uma contradição que comprova o critério.

É possível dividir $c_0{d}_r$ por $p$, porque $c_0$ pode ser dividido por $p$.

Pela suposição inicial, é possível dividir o coeficiente Predefinição:Math do polinômio Predefinição:Math por Predefinição:Math. Como

$a_1=c_0{d}_1+c_1{d}_0$

e como Predefinição:Math não é um múltiplo de Predefinição:Math deve ser possível dividir Predefinição:Math por Predefinição:Math. Analogamente, por indução, $c_i$ é um múltiplo de $p$ para todo $i<r$, o que termina a prova.

Explicação avançada

Aplicando a teoria do polígono de Newton para o corpo de números p-ádicos, para um polinômio de Eisenstein, deve-se tomar o fecho convexo inferior dos pontos

Predefinição:Math,

em que Predefinição:Math é a valorização p-ádica de Predefinição:Math (ou seja a potência mais alta de p que o divide). Agora as informações disponíveis sobre cada Predefinição:Math com Predefinição:Math, especificamente, de que eles são pelo menos um, são tudo o que se precisa para concluir que o fecho convexo inferior é exatamente o único segmento de reta que liga Predefinição:Math a Predefinição:Math, cuja inclinação é Predefinição:Math.

Isto mostra que cada raiz de Q tem valorização p-ádicica Predefinição:Math e, portanto, que Q é irredutível sobre o corpo p-ádico (já que, por exemplo, nenhum produto de qualquer subconjunto próprio de raízes tem valorização inteira); e, a fortiori, sobre o corpo dos números racionais.

Este argumento bem mais complicado do que o argumento direto por redução mod p. No entanto, ele permite que se perceba, em termos da teoria algébrica dos números, com que frequência o critério de Eisenstein pode se aplicar, após alguma mudança de variável; e assim limitar severamente as opções possíveis de p com relação ao qual o polinômio poderia ter uma translação de Eisenstein (isto é, tornar-se Eisenstein depois de uma mudança de variáveis aditiva, como no caso do p-ésimo polinômio ciclotômico).

De fato, somente primos p ramificando na extensão de Predefinição:Math gerada por uma raiz de Q têm alguma chance de funcionar. Estes podem ser encontrados em termos do discriminante de Q. Por exemplo, no caso Predefinição:Math dado acima, o discriminante é Predefinição:Math , de modo que Predefinição:Math é o único primo que tem uma chance de fazer ele satisfaz o critério. Módulo Predefinição:Math, torna-se Predefinição:Math— uma raiz repetida é inevitável, uma vez que o discriminante é Predefinição:Math. Portanto, o deslocamento da variável, na verdade, é algo previsível.

Novamente, para o polinômio ciclotômico, tem-se

Predefinição:Math;

pode-se mostrar que o discriminante é (a menos de um sinal) Predefinição:Math, por métodos de álgebra linear.

Mais precisamente, apenas os primos totalmente ramificados têm uma chance de ser primos de Eisenstein para o polinômio. (Em corpos quadráticos, a ramificação é sempre total, portanto, a distinção não é vista no caso quadrático, como em Predefinição:Math , acima.) Na verdade, os polinômios de Eisenstein são diretamente vinculados a primos totalmente ramificados, como segue: se uma extensão de corpo dos racionais é gerada pela raiz de um polinômio que é Eisenstein em p, então p é totalmente ramificado na extensão, e reciprocamente, se p é totalmente ramificado em um corpo numérico, então o corpo é gerado pela raiz de polinômio de Eisenstein em p.

Generalização

Critério generalizado

Dado um domínio de integridade D, seja

$Q=\sum _{i=0}^n{a}_i{x}^i$

um elemento de Predefinição:Math, o anel de polinômios com coeficientes em D.

Suponha que existe um ideal primo Predefinição:Math de D tal que

• Predefinição:Math para cada Predefinição:Math,
• Predefinição:Math, e
• Predefinição:Math, onde Predefinição:Math é o produto de ideais de Predefinição:Math com si mesmo.

Então Q não pode ser escrito como um produto de dois polinômios não constantes em Predefinição:Math. Se, além disso, Q é primitivo (isto é, não tem divisores não-triviais constantes), então ele é irredutível em Predefinição:Math. Se D é um domínio de fatoração única com corpo de frações F, então pelo lema de Gauss Q é irredutível em Predefinição:Math, seja ele primitivo ou não (pois fatores constantes são inversíveis em Predefinição:Math); neste caso, uma possível escolha de ideal primo é o ideal principal gerado por qualquer elemento irredutível de D. A última afirmação resulta no teorema original para Predefinição:Math ou (na formulação de Eisenstein) para Predefinição:Math.

Prova

A prova desta generalização é semelhante àquela da formulação original, considerando-se a redução dos coeficientes módulo Predefinição:Math; o ponto essencial é que um polinômio de termo único sobre o domínio de integridade Predefinição:Math não pode ser decomposto como um produto em que pelo menos um dos fatores tem mais de um termo (porque em um tal produto não pode haver cancelamento do coeficiente nem de maior nem de menor grau possível).

Exemplo

Depois de Predefinição:Math, um dos exemplos básicos de um domínio de integridade é o anel de polinômios Predefinição:Math na variável u sobre o corpo k. Neste caso, o ideal principal gerado por u é um ideal primo. O critério de Eisenstein pode então ser utilizado para provar a irredutibilidade de um polinômio tal como Predefinição:Math em Predefinição:Math. De fato, u não divide Predefinição:Math, Predefinição:Math não divide Predefinição:Math, e u divide Predefinição:Math e Predefinição:Math. Isso mostra que este polinômio satisfaz as hipóteses da generalização do critério de Eisenstein para o ideal primo Predefinição:Math pois, para um ideal principal Predefinição:Math, ser um elemento de Predefinição:Math é equivalente a ser divisível por u.

Ver também

• Critério de irredutibilidade de Cohn

Bibliografia

• Predefinição:Citation.

• Predefinição:Citation.

• Predefinição:Citation.

• Predefinição:Citation.

• Predefinição:Springer.
• Predefinição:Citation.

• Predefinição:Citation.