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

In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categories. This leads us to a Galois connection that coincides with the classical case from universal algebra if the underlying category is the category of sets, but remains applicable no matter how the category is changed. In analogy to the situation in universal algebra, we characterize the Galois closed classes by local closures of clones of operations and local closures of what we will introduce as clones of (generalized) relations. Since the approach is built on purely category-theoretic properties, we will also discuss the dualization of our notions.

In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categories. This leads us to a Galois connection that coincides with the classical case from universal algebra if the underlying category is the category of sets, but remains applicable no matter how the category is changed. In analogy to the situation in universal algebra, we characterize the Galois closed classes by local closures of clones of operations and local closures of what we will introduce as clones of (generalized) relations. Since the approach is built on purely category-theoretic properties, we will also discuss the dualization of our notions.

Mikroprimstellen wurden eingeführt von J. Neukirch im Rahmen der abstrakten Klassenkörpertheorie. Eine Verallgemeinerung der Zerlegungsgruppen von Primstellen globaler Körper motivierte die rein gruppentheoretische Definition der Mikroprimstellen als gewisse Äquivalenzklassen von Frobeniuselementen. Auf den Fall der Galoisgruppen lokaler oder globaler Körper angewendet, ergibt diese Theorie eine Beschreibung spezieller Konjugationsklassen. Die Hauptaufgabe von J. Neukirch ist, die zahlentheoretische Bedeutung der Mikroprimstellen zu verstehen, das heißt, sie in Termen des Grundkörpers anzugeben. J. Mehlig und E.-W. Zink fanden eine Bijektion zwischen Mikroprimstellen und normverträglichen Folgen von Primelementen in Körpertürmen. Diese Türme entstehen durch die Fixkörper der abgeleiteten Untergruppen der Trägheitsgruppe. Auf diese Weise betrachtet man Mikroprimstellen für die entsprechenden Faktorgruppen der absoluten Galoisgruppe, um dann einen projektive Limes zu bilden. Im ersten Schritt ist eine Bijektion zwischen relativen Mikroprimstellen und Konjugationsklassen von Primelementen gezeigt worden. Das Hauptergebnis dieser Arbeit ist eine vollständige Antwort auf die Frage von J. Neukirch im zweiten Schritt. Es wird eine Normabbildung für Lubin-Tate-Potenzreihen verschiedener Höhe angegeben und der projektive Limes bezüglich dieser Normabbildungen gebildet. Dazu werden Ergebnisse der Klassenkörpertheorie auf einen ''''fastabelschen'''' Fall übertragen. Schließlich können die Mikroprimstellen als Galoisorbits von normverträglichen Abfolgen normischer Lubin-Tate-Potenzreihen beschrieben werden. Die Koeffizienten aller dieser Lubin-Tate-Potenzreihen sind in einer endlichen unverzweigten Erweiterung des Grundkörpers. Also kann man zu einer gegebenen normverträglichen Abfolge normischer Lubin-Tate-Potenzreihen den Koeffizientenkörper definieren. Der Grad dieses Körpers bzw. die Länge des Galoisorbits entspricht dem Grad der zugehörigen Mikroprimstelle. / Micro primes were introduced by J. Neukirch in the context of abstract class field theory. A generalization of decomposition groups of primes of global fields led him to a purely group theoretical definition of micro primes as certain equivalence classes of Frobenius elements. Applied to the case of Galois groups of local or global fields this theory yields a description of special conjugacy classes. The main problem already posed by J. Neukirch is to understand the number theoretical meaning of micro primes, that is to describe them in terms of the base field. J. Mehlig and E.-W. Zink established a bijection between micro primes and norm compatible sequences of prime elements in field towers. These towers arise as fixed point fields for the sequence of derived subgroups of the inertia group. So one has to study micro primes for the corresponding factor groups of the absolute Galois group and then to form a projective limit. In the first step, a bijection between relative micro primes and conjugacy classes of prime elements has been obtained. The main result of this project is a complete answer to the problem of J. Neukirch for the second step. One has to introduce norm maps between Lubin-Tate power series of different height and the projective limit has to be taken with respect to these norm maps. For this purpose results from class field theory are transferred to an ''''almost abelian'''' case. In the end micro primes can be described as Galois orbits of norm compatible sequences of normic Lubin-Tate power series. The coefficients of all the Lubin-Tate power series are in finite unramified extensions of the base field. Therefore one can define a field of coefficients for a given norm compatible sequence of normic Lubin-Tate power series. The degree of that field respectively the length of the Galois orbit is at the same time the degree of the corresponding micro prime.

gekürzte Fassung: Coalgebren wurden sowohl in der Mathematik (seit den 70er Jahren) als auch in der theoretischen Informatik (seit den 90er Jahren) untersucht. In der Mathematik sind Coalgebren dual zu universellen Algebren definiert. Sie bestehen aus einer Trägermenge A zusammen mit Cofunktionen ? : A ? , die A in die n-fache disjunkte Vereinigung von sich selbst abbilden. Das Ziel der Forschung ist hier vor allem, duale Versionen von Definitionen und Resultaten aus der universellen Algebra für die Welt der Coalgebren zu finden. Die theoretische Informatik betrachtet Coalgebren von kategorieller Seite aus. Für einen gegebenen Funktor F : C ? C sind Coalgebren als Paare (S,"alpha") definiert, wobei S ein Objekt von C und "alpha" : S ? F(S) ein Morphismus in C ist. Somit stellt der obige Ansatz mit Cofunktionen einen Spezialfall dar. Begriffe wie Homomorphismus oder Bisimularität lassen sich auf einfache Weise ausdrücken und handhaben. Solche Coalgebren modellieren eine große Anzahl von dynamischen Systemen. Das liefert eine kanonische und vereinheitlichende Sicht auf diese Systeme. Die vorliegende Dissertation führt beide genannten Forschungsrichtungen der Coalgebren weiter: Teil I beschäftigt sich mit "klassischen" Coalgebren, also solchen, wie sie in der universellen Algebra untersucht werden. Insbesondere wird das Verhältnis zur Klontheorie erforscht. Teil II der Arbeit widmet sich dem kategoriellen Ansatz aus der theoretischen Informatik. Von speziellem Interesse ist hier die Anwendung von Coalgebren zur Spezifikation von Systemen. Coalgebren und Klontheorie In der universellen Algebra spielen Systeme von Funktionen eine bedeutende Rolle, u.a. in der Klontheorie. Dort betrachtet man Funktionen auf einer festen gegebenen Grundmenge. Klone von Funktionen sind Mengen von Funktionen, die alle Projektionen enthalten und die gegen Superposition (d.h. Einsetzen) abgeschlossen sind. Extern lassen sich diese Klone als Galois-abgeschlossene Mengengzgl. der Galois-Verbindung zwischen Funktionen und Relationen darstellen. Diese Galois-Verbindung wird durch die Eigenschaft einer Funktion induziert, eine Relation zu bewahren. Dual zu Klonen von Funktionen wurde von B. Csákány auch Klone von Cofunktionen untersucht. Folglich stellt sich die Frage, ob solche Klone ebenfalls mittels einer geeigneten Galois-Verbindung charakterisiert werden können. Die vorliegende Arbeit führt zunächst den Begriff von Corelationen ein. Es wird auf kanonische Weise definiert, was es heißt, daß eine Cofunktion eine Corelation bewahrt. Dies mündet in einer Galois-Theorie, deren Galois-abgeschlossene Mengen von Cofunktionen tatsächlich genau die Klone von Cofunktionen sind. Überdies entsprechen die Galois-abgeschlossenen Mengen von Corelationen genau den Klonen von Corelationen. Die Galois-Theorien von Funktionen und Relationen einerseits und Cofunktionen und Corelationen anderseits sind sich sehr ähnlich. Das wirft die Frage auf, welche Voraussetzungen allgemein nötig sind, um solche und ähnliche Galois-Theorien aufzustellen und die entsprechenden Galois-abgeschlossenen Mengen zu charakterisieren. Das Ergebnis ist eine Metatheorie, bei der die Gemeinsamkeiten in den Charakterisierungen der Galois-abgeschlossenen Mengen herausgearbeitet sind. Bereits bekannte Galois-Theorien erweisen sich als Spezialfälle dieser Metatheorie, und zwar die Galois-Theorien von partiellen Funktionen und Relationen, von mehrwertigen Funktionen und Relationen und von einstelligen Funktionen und Relationen....

gekürzte Fassung: Coalgebren wurden sowohl in der Mathematik (seit den 70er Jahren) als auch in der theoretischen Informatik (seit den 90er Jahren) untersucht. In der Mathematik sind Coalgebren dual zu universellen Algebren definiert. Sie bestehen aus einer Trägermenge A zusammen mit Cofunktionen ? : A ? , die A in die n-fache disjunkte Vereinigung von sich selbst abbilden. Das Ziel der Forschung ist hier vor allem, duale Versionen von Definitionen und Resultaten aus der universellen Algebra für die Welt der Coalgebren zu finden. Die theoretische Informatik betrachtet Coalgebren von kategorieller Seite aus. Für einen gegebenen Funktor F : C ? C sind Coalgebren als Paare (S,"alpha") definiert, wobei S ein Objekt von C und "alpha" : S ? F(S) ein Morphismus in C ist. Somit stellt der obige Ansatz mit Cofunktionen einen Spezialfall dar. Begriffe wie Homomorphismus oder Bisimularität lassen sich auf einfache Weise ausdrücken und handhaben. Solche Coalgebren modellieren eine große Anzahl von dynamischen Systemen. Das liefert eine kanonische und vereinheitlichende Sicht auf diese Systeme. Die vorliegende Dissertation führt beide genannten Forschungsrichtungen der Coalgebren weiter: Teil I beschäftigt sich mit "klassischen" Coalgebren, also solchen, wie sie in der universellen Algebra untersucht werden. Insbesondere wird das Verhältnis zur Klontheorie erforscht. Teil II der Arbeit widmet sich dem kategoriellen Ansatz aus der theoretischen Informatik. Von speziellem Interesse ist hier die Anwendung von Coalgebren zur Spezifikation von Systemen. Coalgebren und Klontheorie In der universellen Algebra spielen Systeme von Funktionen eine bedeutende Rolle, u.a. in der Klontheorie. Dort betrachtet man Funktionen auf einer festen gegebenen Grundmenge. Klone von Funktionen sind Mengen von Funktionen, die alle Projektionen enthalten und die gegen Superposition (d.h. Einsetzen) abgeschlossen sind. Extern lassen sich diese Klone als Galois-abgeschlossene Mengengzgl. der Galois-Verbindung zwischen Funktionen und Relationen darstellen. Diese Galois-Verbindung wird durch die Eigenschaft einer Funktion induziert, eine Relation zu bewahren. Dual zu Klonen von Funktionen wurde von B. Csákány auch Klone von Cofunktionen untersucht. Folglich stellt sich die Frage, ob solche Klone ebenfalls mittels einer geeigneten Galois-Verbindung charakterisiert werden können. Die vorliegende Arbeit führt zunächst den Begriff von Corelationen ein. Es wird auf kanonische Weise definiert, was es heißt, daß eine Cofunktion eine Corelation bewahrt. Dies mündet in einer Galois-Theorie, deren Galois-abgeschlossene Mengen von Cofunktionen tatsächlich genau die Klone von Cofunktionen sind. Überdies entsprechen die Galois-abgeschlossenen Mengen von Corelationen genau den Klonen von Corelationen. Die Galois-Theorien von Funktionen und Relationen einerseits und Cofunktionen und Corelationen anderseits sind sich sehr ähnlich. Das wirft die Frage auf, welche Voraussetzungen allgemein nötig sind, um solche und ähnliche Galois-Theorien aufzustellen und die entsprechenden Galois-abgeschlossenen Mengen zu charakterisieren. Das Ergebnis ist eine Metatheorie, bei der die Gemeinsamkeiten in den Charakterisierungen der Galois-abgeschlossenen Mengen herausgearbeitet sind. Bereits bekannte Galois-Theorien erweisen sich als Spezialfälle dieser Metatheorie, und zwar die Galois-Theorien von partiellen Funktionen und Relationen, von mehrwertigen Funktionen und Relationen und von einstelligen Funktionen und Relationen....