A presente dissertação trata da fatoração de polinômios em duas variáveis sobre um corpo F. Mais precisamente, o trabalho traça o desenvolvimento histórico de uma estratégia modular que levou à resolução desse problema em tempo polinomial e culmina com a apresentação de um algoritmo publicado por S. Gao no ano de 2003, que determina simultaneamente as fatorações racional e absoluta de um dado polinômio. A nossa contribuição consiste na extensão desse algoritmo a casos que não satisfazem as condições prescritas pelo autor.

A presente dissertação trata da fatoração de polinômios em duas variáveis sobre um corpo F. Mais precisamente, o trabalho traça o desenvolvimento histórico de uma estratégia modular que levou à resolução desse problema em tempo polinomial e culmina com a apresentação de um algoritmo publicado por S. Gao no ano de 2003, que determina simultaneamente as fatorações racional e absoluta de um dado polinômio. A nossa contribuição consiste na extensão desse algoritmo a casos que não satisfazem as condições prescritas pelo autor.

A presente dissertação trata da fatoração de polinômios em duas variáveis sobre um corpo F. Mais precisamente, o trabalho traça o desenvolvimento histórico de uma estratégia modular que levou à resolução desse problema em tempo polinomial e culmina com a apresentação de um algoritmo publicado por S. Gao no ano de 2003, que determina simultaneamente as fatorações racional e absoluta de um dado polinômio. A nossa contribuição consiste na extensão desse algoritmo a casos que não satisfazem as condições prescritas pelo autor.

A presente dissertação aborda pesquisas recentes sobre dois tópicos distintos da Matemática. Não é a primeira vez que as conexões entre geometria e álgebra são frutíferas, mas é somente agora que as idéias geométricas estão sendo aplicadas efetivamente na fatoração de polinômios, um tema puramente algébrico. Mais especificamente, estudamos a decomposição de politopos e suas aplicações na fatoração de polinômios. Começamos apresentando construções de politopos integralmente indecomponíveis que levam a critérios de irredutibilidade de polinômios. Estudamos detalhadamente algoritmos para a decomposição de politopos, sempre ilustrados com exemplos e comentários sobre suas aplicações. Terminamos apresentando um algoritmo desenvolvido por Fatima Salem, Shuhong Gao e Alan Lauder, que fatora polinômios bivariados a partir da decomposição do seu politopo de Newton associado. Esse algoritmo é um marco nessa área já que traduz, pela primeira vez, de forma eficiente, idéias geométricas para a fatoração polinomial, usando uma técnica similar ao levantamento de Hensel. / The present work deals with recent research about two distinct mathematical topics. It is not the first time that connections between geometry and algebra are fruitful, but it is only now that geometric ideas are being applied effectively in polynomial factorization, a purely algebraic theme. More specifically we study the decomposition of polytopes and their applications on polynomial factorization. We begin studying construction of indecomposable polytopes which give many irreducibility criteria polynomial. We study thoroughly algorithms for decomposition of polytopes, always illustrated with examples and comments about their applications. We finish presenting an algorithm developed by Fatima Salem, Shuhong Gao and Alan Lauder for factoring bivariate polynomials from the decomposition of the Newton polytope associated. This algorithm is a mark land in the field since it translate, for the first time, effectivelly, geometric ideas for polynomial factorization using a technic similar to Hensel lifting.

A presente dissertação aborda pesquisas recentes sobre dois tópicos distintos da Matemática. Não é a primeira vez que as conexões entre geometria e álgebra são frutíferas, mas é somente agora que as idéias geométricas estão sendo aplicadas efetivamente na fatoração de polinômios, um tema puramente algébrico. Mais especificamente, estudamos a decomposição de politopos e suas aplicações na fatoração de polinômios. Começamos apresentando construções de politopos integralmente indecomponíveis que levam a critérios de irredutibilidade de polinômios. Estudamos detalhadamente algoritmos para a decomposição de politopos, sempre ilustrados com exemplos e comentários sobre suas aplicações. Terminamos apresentando um algoritmo desenvolvido por Fatima Salem, Shuhong Gao e Alan Lauder, que fatora polinômios bivariados a partir da decomposição do seu politopo de Newton associado. Esse algoritmo é um marco nessa área já que traduz, pela primeira vez, de forma eficiente, idéias geométricas para a fatoração polinomial, usando uma técnica similar ao levantamento de Hensel. / The present work deals with recent research about two distinct mathematical topics. It is not the first time that connections between geometry and algebra are fruitful, but it is only now that geometric ideas are being applied effectively in polynomial factorization, a purely algebraic theme. More specifically we study the decomposition of polytopes and their applications on polynomial factorization. We begin studying construction of indecomposable polytopes which give many irreducibility criteria polynomial. We study thoroughly algorithms for decomposition of polytopes, always illustrated with examples and comments about their applications. We finish presenting an algorithm developed by Fatima Salem, Shuhong Gao and Alan Lauder for factoring bivariate polynomials from the decomposition of the Newton polytope associated. This algorithm is a mark land in the field since it translate, for the first time, effectivelly, geometric ideas for polynomial factorization using a technic similar to Hensel lifting.

A presente dissertação aborda pesquisas recentes sobre dois tópicos distintos da Matemática. Não é a primeira vez que as conexões entre geometria e álgebra são frutíferas, mas é somente agora que as idéias geométricas estão sendo aplicadas efetivamente na fatoração de polinômios, um tema puramente algébrico. Mais especificamente, estudamos a decomposição de politopos e suas aplicações na fatoração de polinômios. Começamos apresentando construções de politopos integralmente indecomponíveis que levam a critérios de irredutibilidade de polinômios. Estudamos detalhadamente algoritmos para a decomposição de politopos, sempre ilustrados com exemplos e comentários sobre suas aplicações. Terminamos apresentando um algoritmo desenvolvido por Fatima Salem, Shuhong Gao e Alan Lauder, que fatora polinômios bivariados a partir da decomposição do seu politopo de Newton associado. Esse algoritmo é um marco nessa área já que traduz, pela primeira vez, de forma eficiente, idéias geométricas para a fatoração polinomial, usando uma técnica similar ao levantamento de Hensel. / The present work deals with recent research about two distinct mathematical topics. It is not the first time that connections between geometry and algebra are fruitful, but it is only now that geometric ideas are being applied effectively in polynomial factorization, a purely algebraic theme. More specifically we study the decomposition of polytopes and their applications on polynomial factorization. We begin studying construction of indecomposable polytopes which give many irreducibility criteria polynomial. We study thoroughly algorithms for decomposition of polytopes, always illustrated with examples and comments about their applications. We finish presenting an algorithm developed by Fatima Salem, Shuhong Gao and Alan Lauder for factoring bivariate polynomials from the decomposition of the Newton polytope associated. This algorithm is a mark land in the field since it translate, for the first time, effectivelly, geometric ideas for polynomial factorization using a technic similar to Hensel lifting.

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.

Este trabalho descreve algoritmos algébricos para computação em corpos de Galois GF(q), com q = pn onde pé a característica do corpo, que pode ser arbitrariamente grande. Para fundamentar esse estudo é condensada e apresentada Lo ela. a fena.menta algébrica necessári a. Os corpos ·finitos são caracterizados, é mostrado como construí-los e sua aritmética é analisada. Algoritmos determinísticos e probabilísticos são desenvolvidos para. o cálculo de raízes polinomiais e a. fatoração de polinômios sobre esses corpos. Este trabalho é materializado pela implementação de dois algoritmos, o de Cantor-Zassenhaus e o de Rabin, ambos implementados no Sistema de Computação Algébrica MAPLE V Release 3. / This work elescribes algebraic algorithms for computing in Galois Fielels GF(q), with q = pn, where p is the characteristic of the fielel anel may be arbitrar.ialy large. By justifying this work we give a colection of results about topics of Algebra. Dctcnninistics anel probabilistics a.lgorithms are clevelopeel to compute polynomials roots anel for polynornia.l factorization in OF(q).This work is materializccl by the implementation oi' t.wo algorithms, Cantor-Zasscnhaus's algorithm anel Rabin's algoril. hm, both implemented in MAPLE V Rclease 3 Computer Algebra System.