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.
Se existe um número primo p tal que as três condições seguintes se aplicam: p divide cada para , p não divide , e não divide , 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 . 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, e , o que significa que só poderia funcionar, e de fato isso ocorre pois não divide o coeficiente líder , e o seu quadrado é , que não divide o coeficiente constante . Pode-se portanto concluir que é irredutível sobre (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 (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 , 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 , obtém-se o polinômio , que satisfaz o critério de Eisenstein para o número primo . Como a substituição é um automorfismo do anel , 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 se, e somente se, eles são redutíveis em (para qualquer domínio de integridade ), e neste anel a substituição de x por 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, satisfaz o critério para , depois de inverter os seus coeficientes e (sendo primitivo) é, portanto, irredutível em .
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 pelo fator , correspondente à sua raiz óbvia (que, se , é a sua única raiz racional):
Aqui, tal como no exemplo anterior de H, os coeficientes iguais a 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 : isso resulta em:
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 . Uma forma alternativa de chegar a esta conclusão é usar a identidade , 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:
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 ) na forma expandida .
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 será irredutível módulo quando módulo não contém um fator .Esta formulação já incorpora uma mudança para em vez de ; a condição sobre F(x) significa que não é divisível por p, e assim é divisível por , mas não por p2. 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 , de modo que o polinômio considerado não precisa ter o grau que a sua expressão sugere; o exemplo x2 + p(x3 + 1) ≡ (x2 + p)(px + 1) mod p2, mostra que a conclusão não é válida sem tal hipótese. Assumindo que o grau de não exceda , o critério é correto, no entanto, e um pouco mais forte do que a formulação dada acima, pois se é irredutível modulo , certamente não pode ser decomposto em 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 em x de grau arbitrário, o coeficiente do maior termo é , 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) , e quando, além disso, o último coeficiente é igual a εm, onde denota um número não divisível por m: então é impossível escrever na forma
onde μ, ν ≥ 1, μ + ν = deg(F(x)), e todos os e b são números inteiros (reais resp. complexos); a equação , 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 , com o objetivo de obter uma contradição. A partir do lema de Gauss conclui-se que Q também é irredutível em , e na verdade pode ser escrito como o produto de dois polinômios não-constantes (no caso de Q não ser primitivo, aplica-se o lema ao polinômio primitivo (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 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 seja irredutível. É mostrado que essa suposição implica uma contradição.
A suposição de que
seja redutível implica que há dois polinômios e com . Cada um dos polinômios e tem coeficientes e
tais que , e . O coeficiente do polinômio pode ser dividido pelo primo , mas não por . Como , é possível dividir ou por , mas não ambos. Pode-se continuar, sem perda de generalidade: com um coeficiente que pode ser dividido por e com um coeficiente que não pode ser dividido por . Por hipótese, não divide . Considerando que , nem e nem podem ser divididos por . Assim, se é o -ésimo coeficiente do polinômio redutível , então (possivelmente com no caso de )
em que não pode ser dividido por , porque nem nem podem ser divididos por .
Será provado que são todos divisível por . Como também é divisível por (pela hipótese do critério), isso implica que é divisível por , uma contradição que comprova o critério.
É possível dividir por , porque pode ser dividido por .
Pela suposição inicial, é possível dividir o coeficiente do polinômio por . Como
e como não é um múltiplo de deve ser possível dividir por . Analogamente, por indução, é um múltiplo de para todo , 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 ,