Orientador: Plamen Emilov Kochloukov / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-19T21:39:41Z (GMT). No. of bitstreams: 1 Mello_ThiagoCastilhode_D.pdf: 1364753 bytes, checksum: 66955ce4a4c6b84e5c6dcc1a414f3f24 (MD5) Previous issue date: 2012 / Resumo: Nesta tese estudamos a álgebra genérica de M1;1 em dois geradores sobre um corpo infinito de característica diferente de 2. Descrevemos o centro desta álgebra e provamos que este é a soma direta do corpo com um ideal nilpotente da álgebra. Como consequência mostramos que este centro contém elementos não escalares, respondendo a uma pergunta feita por Berele. Em característica zero, estudamos também as identidades polinomiais de tal álgebra genérica e exibimos uma base finita para seu T-ideal, utilizando a descrição do seu centro e os resultados de Popov sobre as identidades de M1;1 em característica zero. Segue que tal base é formada pelos polin^omios [x1; x2][x3; x4][x5; x6], [[x1; x2][x3; x4]; x5] e s4, a identidade polinomial standard de grau 4. Por fim, utilizando ideias e resultados de Nikolaev sobre as identidades em duas variáveis de M2(K) em característica zero, mostramos que todas as identidades polinomiais em duas variáveis de M1;1 são consequências das identidades [[x1; x2]2; x1] e [x1; x2]³ / Abstract: In this thesis, we study the generic algebra of M1;1 in two generators over an infinite field of characteristic different from 2. We describe the centre of this algebra and prove that this centre is a direct sum of the field and a nilpotent ideal of the algebra. As a consequence, we show that such centre contains nonscalar elements and thus we answer a question posed by Berele. In characteristic zero we also study the identities of this generic algebra and find a finite basis for its ideal of identities using the description of its centre and the results of Popov, about the identities of M1;1 in characteristic zero. It follows that such a basis is formed by the polynomials [x1; x2][x3; x4][x5; x6], [[x1; x2][x3; x4]; x5] and by s4, the standard identity of degree four. Finally, using ideas and results of Nikolaev about the identities in two variables of M2(K) in characteristic zero, we show that the polynomial identities in two variables of M1;1 follow from [[x1; x2]2; x1] and [x1; x2]³ / Doutorado / Matematica / Doutor em Matemática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The notion of symbolic power dates back to W. Krull, who used it in the proof of the famous theorem of principal ideal, this a crucial milestone in the short history of commutative algebra. Later, O. Zariski, M. Nagata, D. Rees and others have shown how this purely algebraic notion has important signi cance in algebraic geometry. In this paper we study the symbolic powers showing some of its most fundamental properties and their connections with various aspects of algebraic geometry and commutative algebra. / A no ção de potência simb ólica remonta a W. Krull, que a usou na prova do c élebre teorema do ideal principal, este um marco crucial na curta hist ória da álgebra comutativa. Mais adiante, O. Zariski, M. Nagata, D. Rees e outros mostraram como esta no ção puramente alg ébrica tem importante signi ficado em geometria alg ébrica. Neste trabalho estudaremos as potências simb ólicas evidenciando algumas de suas propriedades mais fundamentais e suas conexões com aspectos variados da geometria alg ébrica e álgebra comutativa.

Orientador: Alexandre César Rodrigues da Silva / Banca: Luis Antonio F. de Oliveira / Banca: Marcos Aurélio Batista / Resumo: A geração eficiente de implicantes primos é um fator importante na fase de cobertura dos mintermos em métodos de minimização de funções booleanas. Este trabalho apresenta uma versão aprimorada do método denominado de Clause-Column Table, utilizado na geração de implicantes primos. Neste novo algoritmo adicionou-se o teorema da adjacência e um novo critério de parada. Estas modificações evitaram a geração de termos nulos e iterações desnecessárias que ocorriam no algoritmo original. O algoritmo original e o aprimorado foram implementados em linguagem C e comparados. O método Clause-Column Table Aprimorado também foi comparado com o método Quine-McCluskey e Expander. Os resultados comprovaram que a versão aprimorada gera menos iterações que a versão original, e que na maioria das funções analisadas evitou-se a geração de termos nulos. Ao comparar com o método de Quine-McCluskey e o Expander comprovou-se que o método Clause-Column Table Aprimorado é superior na geração dos implicantes primos, pois em alguns casos elimina aqueles que não são necessários para a cobertura da função. De posse dos implicantes primos o problema de cobertura dos mintermos foi formulado como um problema de programação linear inteira 0 e 1, em que a solução se abre a todos os avanços ocorridos na área de programação linear visando a obtenção de uma solução mínima / Abstract: Efficient generation of prime implicants is an important factor in the coverage phase of minterms in minimization's methods of Boolean functions. This research presents an improved version of the method called Clause-Column Table, used to generate prime implicants. In this new algorithm was added to the adjacency theorem and a new stopping criterion. These modifications prevented the generation of null terms and unnecessary iterations that occurred in the original algorithm. The original and improved algorithms were implemented in C language and compared. The Clause-Column Table Improved method was compared with the Expander and Quine-McCluskey method. The results proved that the improved version generates fewer iterations than the original version, and that in most functions analyzed it was avoided the generation of null terms. Comparing Quine-McCluskey method and the Expander it was proved that the Clause-Column Table Enhanced method is superior in the generation of prime implicants, since in some cases eliminates those who are not required to cover the function. In ownership of the prime implicants the cover problem of minterms was formulated as an integer linear programming problem of 0 and 1, where the solution is open to all advances in the area of linear programming in order to obtain a minimal solution / Mestre

Orientador: Carina Alves / Banca: Marta Cilene Gadotti / Banca: Cintya Wink de Oliveira Benedito / Resumo: Este trabalho aborda conceitos básicos de Álgebra Linear e suas aplicações no desenvolvimento da Teoria de Códigos Corretores de Erros. O uso desta ferramenta matemática simpli ca a geração e a decodi cação dos códigos lineares. Destacamos também a importância de se trabalhar com este tema na educação básica / Abstract: The present work addresses basic concepts of Linear Algebra and its applications in the development of the Theory of Error Correcting Codes. The use of this mathematical tool simpli es the generation and decoding of linear codes. This dissertation also highlights the importance of working with this subject in high school / Mestre

As sequências espectrais foram criadas por Jean Leray num campo de concentração durante a Segunda Guerra Mundial motivado por problemas inerentes à Topologia Algébrica. Num primeiro momento, surge como uma ferramenta para auxiliar no cálculo da cohomologia de um feixe. Porém, Jean-Louis Koszul apresenta uma formulação puramente algébrica para tais sequencias, que consiste basicamente no cálculo da homologia de um complexo total associado a um complexo duplo. Concentraremos nosso trabalho nas definições e resultados que nos permitem demonstrar os seguintes resultados conhecidos da Álgebra usando sequências espectrais: o Lema dos Cinco, o Lema da Serpente, Balanceamento para o Funtor Tor, Mudança de Base para o Funtor Tor e o Teorema dos Coeficientes Universais. Apresentamos, ao final do trabalho, uma generalização que nos permite entender melhor os funtores derivados à esquerda: as Sequências Espectrais de Grothendieck. / Spectral sequences were created by Jean Leray in a concentration camp during World War II motivated by problems of Algebraic Topology. At first, it appears as a tool to assist in calculating the cohomology of a sheaf. However, Jean-Louis Koszul presents a purely algebraic formulation for these sequences, which basically consists in calculating a total of homology complex associated with a double complex. We will focus our work on the definitions and results that allow us to demonstrate known results of algebra using spectral sequences: The Five Lemma, The Snake Lemma, Balancing of functor Tor, Base Change for Tor and Universal Coefficient Theorem. We present, at the end of this work, a generalization that allows us to better understand the left derivative functors: the Spectral Sequence of Grothendieck.

Neste trabalho, estudamos a cohomologia de de Rham e métodos para os seus cálculos. Finalizamos com aplicações da cohomologia de de Rham em teoremas da topologia / In this work we study the de Rham cohomology and methods for its calculations. We close it with applications of the Rham cohomology in theorems from topology

A conjectura de Makar-Limanov arma que se um anel de divisão D e finitamente gerado e de dimensão infinita sobre seu centro k, então D contém uma k-subálgebra livre de posto 2. Neste trabalho, investigaremos a existência de tais estruturas no anel de divisão de frações do anel de polinômios skew L[t; \'\\sigma\' ], onde t é uma variável e \'\\sigma\' é um k-automorfismo de L. Mais especificamente, assumindo o que chamamos de Hipótese do Delta 3.3.1, provaremos esse resultado para L / k uma extensão de corpos, mesmo quando L não é finitamente gerado sobre k. Finalmente, provaremos a Hipótese do Delta e a conjectura, quando L é o corpo de funções de uma variedade abeliana ou o corpo de funções do espaço projetivo n-dimensional / Makar-Limanov\'s conjecture states that if a division ring D is finitely generated and infinite dimensional over its center k then D contains a free k-subalgebra of rank 2. In this work, we will investigate the existence of such structures in the division ring of fractions of the skew polynomial ring L[t; \'\\sigma\' ], where t is a variable and \'\\sigma\' is an k-automorphism of L. More specifically, assuming what we called Delta\'s Hipothesis 3.3.1, we prove this result for L / k a field extension, even when L isn\'t finitely generated over k. Finally, we prove Delta\'s Hipothesis and the conjecture when either L is the function field of an abelian variety or the function field of the n-dimensional projective space

Este trabalho apresenta algumas concepções sobre a álgebra e o ensino dela no ensino médio. Tais concepções sob uma análise curricular da educação básica no Brasil, com relação aos conteúdos algébricos. Visando contribuir com a formação de professores de Matemática do Ensino Básico apresentamos um estudo sobre os polinômios no qual elencamos algumas propriedades. Abordamos algumas ideias para o ensino de álgebra (anel polinomial), destacamos a localização das raízes de equações polinomiais e sua aplicação e apresentamos alguns métodos para resolução de equações polinomiais do 2o grau. Salientamos a importância do ensino de álgebra (polinômios e funções polinomiais) e sua presença em duas grandes avaliações nacionais, Exame Nacional do Ensino Médio (ENEM) e Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP), evidenciando os conteúdos algébricos em algumas questões dessas avaliações e apresentando a resolução sob uma organização de três componentes fundamentais para o ensino de matemática: Conceituação, Manipulação e Aplicação. / This work presents some conceptions about algebra and her teaching in high school. Such conceptions under a curricular analysis of basic education in Brazil, with respect to algebraic contents. Aiming to contribute to the formation of Mathematics teachers in Basic Education we present a study on the polynomials in which we list some properties. We address some ideas for the teaching of algebra (polynomial ring), we highlight the location of the roots of polynomial equations and their application and we present some methods for solving polynomial equations of 2o degree. We highlight the importance of teaching algebra (polynomials and polynomial functions) and its presence in two large national assessments, the National High School Examination (ENEM) and the Brazilian Mathematics Olympiad of Public Schools (OBMEP), highlighting the algebraic contents in some of these questions Assessments and presenting the resolution under an organization of three fundamental components for the teaching of mathematics: Conception, Manipulation and Application.

Many computer algebra systems have already been proposed and implemented. Most of them are implemented in or even implement languages without the referential transparency property, making it difficult, if not impractical, to reason about algebra programs. This dissertation presents a computer algebra system implemented as a library in the Haskell programming language, a modern functional language with the desired referential transparency property. The author presents the foundations and basic algorithms for manipulation of algebraic expressions in a declarative context, compatible with Mathematics. He examines the adequacy of the constructs provided by the Haskell programming language for implementing such a library in a modular way, so that it can be easily extended with the inclusion of new algebraic formulas and manipulations. Such extensions should keep compatibility with prior versions of the library. This work also contributes for showing that modern functional languages like Haskell are viable for day to day programming, even beating conventional languages in some aspects, like level of abstraction.

Nuestro trabajo tiene como objetivo analizar los posibles conflictos semióticos cuando se desarrollan problemas de función cuadrática de un texto universitario. Los conflictos semióticos que aparecieron se analizaron teniendo como marco teórico la Teoría de Registros de Representación Semiótica. Para la realización de este trabajo se usó un texto universitario y una actividad sobre función cuadrática planteada a estudiantes de primeros ciclos de universidad. Finalmente la metodología que se utilizó en el presente trabajo es el de análisis de contenido. En el primer capítulo se describió los antecedentes, la justificación, los objetivos y la metodología que usamos en nuestro trabajo. En el segundo capítulo, se describió al objeto matemático función cuadrática tomando aspectos de la Teoría de Registros de Representación Semiótica tales como los registros de representación, lengua natural, algebraico y gráfico de coordenadas cartesianas. También se estudió los tratamientos y las conversiones que realizan entre representaciones para los registros de representación mencionados. En el tercer capítulo, se analizó un texto universitario y una actividad sobre función cuadrática. Del análisis se concluyó que el texto no permite que se hagan los tratamientos y las conversiones de forma espontánea, sino que los declara como parte de la pregunta. En el cuarto capítulo, se detalló y analizó los posibles conflictos semióticos al resolver problemas sobre la función cuadrática en un texto y una actividad. Finalmente, en el quinto capítulo, se procedió a detallar las conclusiones y recomendaciones acerca de nuestro trabajo. También se mencionó algunas recomendaciones para futuras investigaciones. / Our work has as objective to analyze the possible semiotic conflicts when they develop problems of quadratic function of a university text. The semiotic conflicts that appeared were analyzed having as theoretical framework the Theory of Records of Semiotic Representation. For the accomplishment of this work a university text was used and an activity on quadratic function raised to students of first cycles of university. Finally the methodology that was used in the present work is the one of content analysis. The first chapter described the background, justification, objectives and methodology that we use in our work. In the second chapter, the mathematical object quadratic function was described taking aspects of the Theory of Semiotic Representation Registers such as the registers of representation, natural language, algebraic and chart of cartesian coordinates. We also studied the treatments and the conversions that they perform between representations for the representation registers mentioned. In the third chapter, a university text and an activity on a quadratic function were analyzed. The analysis concluded that the text does not allow treatments and conversions to be made spontaneously, but rather declares them as part of the question. In the fourth chapter, it was detailed and analyzed the possible semiotic conflicts when solving problems on the quadratic function in a text and an activity. Finally, in the fifth chapter, we proceeded to detail the conclusions and recommendations about our work. Some recommendations for future research were also mentioned. / Tesis