Orientador: Reginaldo Palazzo Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T21:06:53Z (GMT). No. of bitstreams: 1 Sampaio_IngridAraujo_M.pdf: 836393 bytes, checksum: c88f5bde14a891b8579e6d9dca463a95 (MD5) Previous issue date: 2007 / Resumo: Neste trabalho apresentamos algumas relações existentes entre codigos c'clicos e a transformada discreta de Fourier ambos sobre aneis locais. Para isso, 'e necessario a identificação do grupo das unidades associado a cada um dos anéis considerados. Como consequencia, codigos ciclicos sobre tais aneis podem ser construidos. Em seguida, construimos geradores de sequencias atravees dos registros de deslocamento com realimentação linear (LFSR), a partir dos polinomios geradores, cujos coeficientes pertencem a um corpo finito e a um anel comutativo finito local com identidade. Finalmente, realizamos a transformada discreta de Fourier por meio do polinomio gerador dos codigos ciclicos sobre aneis locais / Abstract: In this research we present some existing relationships between cyclic codes and discrete Fourier transform both local rings. For this, it is necessary to identify the groups of unit associated with each corresponding local ring. As a consequence, cyclic codes over these rings may be constructed. Next, we construct sequence generators by use of linear feedback shift register (LFSR), from generator polynomials whose coefficients belong either to finite field or to a local finite commutative ring with identity. Finally, the discrete Fourier transform is realized by use of the generator polynomial of cyclic codes over local rings / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

CAPES / A resolução de equações polinomiais com coeficientes racionais consiste em parte significativa da história do desenvolvimento da álgebra. O problema era encontrar fórmulas que expressassem uma raiz por meio de operações aritméticas efetuadas sobre a equação original, isto é, determinar a resolubilidade por radicais da equação. O trabalho de vários matemáticos culminou, no século XVI, com a obtenção das fórmulas para a resolução de equações polinomiais de grau menor ou igual a 4. Três séculos depois, Niels Abel mostrou que não é possível obter uma fórmula para a equação geral de grau 5. Finalmente, Evariste Galois resolveu completamente o problema estudando o grupo de permutação das raízes e estabelecendo as condições exatas para a resolubilidade de uma equação polinomial. Neste trabalho apresentamos um breve histórico da obtenção de fórmulas para as raízes das equações de grau menor ou igual a 4 e a essência da matemática envolvida no estudo da resolubilidade por radiciais de equações polinomiais de grau maior ou igual a 5. / The solvability by radicals of polynomial equations with rational coefficients is an important part of the history of algebra. The problem was to express a root by means of basic arithmetic operations and radicals. Formulas to solve polynomial equations of degree lower than or equal to 4 were obtained in XVIth century. About three centuries later, Niels Abel showed that it is not possible to find a formula for the general equation of degree 5. Finally, Evariste Galois solved the problem by studying the permutations groups, establishing the exact conditions for the solvability of a polynomial equation. In this work we present a brief history of the classic formulas for the roots of equations with degree lower or equal to 4. Then we study solvability by radicals of polynomial equations of degree higher than or equal to 5.

CAPES / A resolução de equações polinomiais com coeficientes racionais consiste em parte significativa da história do desenvolvimento da álgebra. O problema era encontrar fórmulas que expressassem uma raiz por meio de operações aritméticas efetuadas sobre a equação original, isto é, determinar a resolubilidade por radicais da equação. O trabalho de vários matemáticos culminou, no século XVI, com a obtenção das fórmulas para a resolução de equações polinomiais de grau menor ou igual a 4. Três séculos depois, Niels Abel mostrou que não é possível obter uma fórmula para a equação geral de grau 5. Finalmente, Evariste Galois resolveu completamente o problema estudando o grupo de permutação das raízes e estabelecendo as condições exatas para a resolubilidade de uma equação polinomial. Neste trabalho apresentamos um breve histórico da obtenção de fórmulas para as raízes das equações de grau menor ou igual a 4 e a essência da matemática envolvida no estudo da resolubilidade por radiciais de equações polinomiais de grau maior ou igual a 5. / The solvability by radicals of polynomial equations with rational coefficients is an important part of the history of algebra. The problem was to express a root by means of basic arithmetic operations and radicals. Formulas to solve polynomial equations of degree lower than or equal to 4 were obtained in XVIth century. About three centuries later, Niels Abel showed that it is not possible to find a formula for the general equation of degree 5. Finally, Evariste Galois solved the problem by studying the permutations groups, establishing the exact conditions for the solvability of a polynomial equation. In this work we present a brief history of the classic formulas for the roots of equations with degree lower or equal to 4. Then we study solvability by radicals of polynomial equations of degree higher than or equal to 5.

Orientador: Antonio Jose Engler / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-05T18:56:31Z (GMT). No. of bitstreams: 1 Ferreira_MauriciodeAraujo_M.pdf: 1033477 bytes, checksum: 8d697b5cdeb1a633c1270a5e2f919de7 (MD5) Previous issue date: 2006 / Resumo: Neste trabalho, estudamos as álgebras biquaterniônicas, que são um tipo especial de álgebra central simples de dimensão 16, obtida como produto tensorial de duas álgebras de quatérnios. A teoria de formas quadráticas é aplicada para estudarmos critérios de decisão sobre quando uma álgebra biquaterniônica é de divisão e quando duas destas álgebras são isomorfas. Além disso, utilizamos o u-invariante do corpo para discutirmos a existência de álgebras biquaterniônicas de divisão sobre o corpo. Provamos também um resultado atribuído a A. A. Albert, que estabelece critérios para decidir quando uma álgebra central simples de dimensão 16 é de fato uma álgebra biquaterniônica, através do estudo de involuções. Ao longo do trabalho, construímos vários exemplos concretos de álgebras biquaterniônicas satisfazendo propriedades importantes / Mestrado / Algebra / Mestre em Matemática

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T22:46:52Z (GMT). No. of bitstreams: 1 Freire_RodrigodeAlvarenga_D.pdf: 761227 bytes, checksum: 3b1a0de92aa93b50f2bfc602bf6173bc (MD5) Previous issue date: 2009 / Resumo: Esta Tese tem como objetivo elucidar, ao menos parcialmente, a questão do significado da Teoria de Modelos para uma reflexão sobre o conhecimento matemático no século XX. Para isso, vamos buscar, primeiramente, alcançar uma compreensão da própria reflexão sobre o conhecimento matemático, que será denominada de Fundamentos do Pensamento Matemático no século XX, e da própria relevância fundacional. Em seguida, analisaremos, dentro do contexto fundacional estabelecido, o papel da Teoria de Modelos e da sua interação com a Álgebra, em geral, e, finalmente, empreenderemos um estudo de caso específico. Nesse estudo de caso mostraremos que a Teoria de Galois pode ser vista como um conteúdo lógico, e buscaremos compreender o significado fundacional desse enquadramento modelo-teórico para uma parte da Álgebra clássica. / Abstract: The aim of the present Thesis is to bring some light to the question about the status and relevance of Model Theory to a reflection about the mathematical knowledge in the twentieth century. To pursue this target, we will, first of all, try to reach a comprehension of the reflection about the mathematical knowledge, itself, what will be designated as Foundations of Mathematical Thought in the twentieth century, and of the foundational relevance, itself. In the sequel, we will provide an analysis, of the role of Model Theory and its interaction with Algebra, in general, within the established foundational setting and, finally, we will discuss a specific study case. In this study case we will show that Galois Theory can be seen as a logical content, and we will try to understand the foundational meaning of this model-theoretic framework for some part of classical Algebra. / Doutorado / Logica / Doutor em Filosofia

Orientador: Antonio Jose Engler / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-10T18:05:59Z (GMT). No. of bitstreams: 1 Dario_RoniePeterson_D.pdf: 1951766 bytes, checksum: afa64043636e06c86924e24d6fe65f43 (MD5) Previous issue date: 2008 / Resumo: Esta tese é um estudo das propriedades aritméticas de corpos que possuem um anel de valorização compatível com o Radical de Kaplansky. São utilizados os métodos da teoria algébrica das formas quadráticas, teoria de Galois e principalmente, a teoria de valorizações em corpos. Apresentamos um novo método para a construção de corpos com Radical de Kaplansky não trivial. Demonstramos uma versão do Teorema 90 de Hilbert para o radical. Para uma álgebra quaterniônica D, demonstramos que um anel de valorização do centro de D possui extensão para um anel de valorização total e invariante de D se, e somente se, for compatível com o Radical de Kaplansky / Abstract: This thesis is a study of the arithmetical properties of fields with a valuation ring compatible with the Kaplansky¿s Radical. The methods utilized are algebraic theory of quadratic forms, Galois theory and valuation theory over fields. We present a new construction method of fields with non-trivial Kaplansky¿s Radical. We also prove a version of the Hilbert¿s 90 Theorem for the radical. Let D a quaternion algebra and F the center of D. A valuation ring of F has a extension to a total and invariant valuation ring of D iff is compatible with the Kaplansky¿s Radical / Doutorado / Algebra / Doutor em Matemática