Dada uma palavra w e um grupo G, suponha que o conjunto Gw pode ser coberto por finitos subgrupos cÃclicos. à verdade que w(G) tambÃm pode ser coberto por finitos subgrupos cÃclicos? Nesta dissertaÃÃo mostraremos que a resposta à positiva para a palavra comutador. / Given a word w and a group G, suppose that the set can be Gw covered by finite cyclic subgroups. It is true that w(G) can also be covered by finite cyclic subgroups? This dissertation will show that the answer is positive for the word switch.

Orientador: Dessislava Hristova Kochloukova / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-26T02:25:15Z (GMT). No. of bitstreams: 1 Silva_LeonardodeAmorine_D.pdf: 582293 bytes, checksum: ed3c907af5279b8923c782d730bcf1d4 (MD5) Previous issue date: 2014 / Resumo: Nesta tese consideramos uma extensão cindida G de um grupo abeliano A por um grupo nilpotente (de classe 2) Q e provamos dois resultados. Primeiro, se Q age nilpotentemente sobre A e G tem tipo FP2, calculamos o sigma invariante de G em dimensão 2. Segundo, se G tem tipo FP4, mostramos que cada quociente de G tem tipo FP4 / Abstract: In this thesis we consider a split extension G of an abelian group A by a nilpotent group (class 2) Q and prove two results. First, if Q acts nilpotently on A and G has type FP2, compute the sigma invariant of G in dimension 2. Second, if G has type FP4, we show that every quotient G has type FP4 / Doutorado / Matematica / Doutora em Matemática

Nesta dissertação estudamos as teorias de gauge acoplada com campos de matéria em variedades bidimensionais. Para isso, descrevemos primeiro um formalismo em duas e três dimensões o qual é baseado na ideia de Kuperberg de definir um invariante topológico em três dimensões usando álgebras de Hopf e diagramas de Heegaard. O uso do formalismo é útil para este trabalho pois é fácil a identificação de limites topológicos sem resolver o modelo. Também escrevemos o modelo de gauge com campos de matéria usando uma fixação de gauge chamada de gauge unitário. Trabalhamos com o grupo abeliano $\\mathbb_$ e explicamos com detalhe o caso $\\mathbb_$. Calculamos as funções de partição e loops de Wilson para este grupo nos diferentes limites topológicos. Mostramos que existem casos nos quais os resultados dependem da triangulação mas de maneira trivial, estes casos foram chamados de quase-topológicos. / In this thesis we study gauge theories coupled with matter fields in two-dimensional manifolds. In order to proceed we first describe a formalism in two and three dimensions which is based on the idea of Kuperberg of defining a topological invariant in three dimensions using Hopf algebras and Heegaard diagrams. The use of this formalism is useful here because it is easy to identify topological limits without solving the model. Furthermore, we write the gauge model with matter fields choosing the unitary gauge. We work with abelians groups Z(n) and explain the Z(2) case in detail. We calculate partition functions and Wilson loops for this group in the different topological limits. We show that, there were cases in which the results depended on the triangulation but in a trivial way, these cases are called quasi-topological.

Nesta dissertação estudamos as teorias de gauge acoplada com campos de matéria em variedades bidimensionais. Para isso, descrevemos primeiro um formalismo em duas e três dimensões o qual é baseado na ideia de Kuperberg de definir um invariante topológico em três dimensões usando álgebras de Hopf e diagramas de Heegaard. O uso do formalismo é útil para este trabalho pois é fácil a identificação de limites topológicos sem resolver o modelo. Também escrevemos o modelo de gauge com campos de matéria usando uma fixação de gauge chamada de gauge unitário. Trabalhamos com o grupo abeliano $\\mathbb_$ e explicamos com detalhe o caso $\\mathbb_$. Calculamos as funções de partição e loops de Wilson para este grupo nos diferentes limites topológicos. Mostramos que existem casos nos quais os resultados dependem da triangulação mas de maneira trivial, estes casos foram chamados de quase-topológicos. / In this thesis we study gauge theories coupled with matter fields in two-dimensional manifolds. In order to proceed we first describe a formalism in two and three dimensions which is based on the idea of Kuperberg of defining a topological invariant in three dimensions using Hopf algebras and Heegaard diagrams. The use of this formalism is useful here because it is easy to identify topological limits without solving the model. Furthermore, we write the gauge model with matter fields choosing the unitary gauge. We work with abelians groups Z(n) and explain the Z(2) case in detail. We calculate partition functions and Wilson loops for this group in the different topological limits. We show that, there were cases in which the results depended on the triangulation but in a trivial way, these cases are called quasi-topological.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The concept of module M on a ring A can be seen as a generalization of the concept of vector space V over a field K. In this work, we will present definitions, examples and results about modules, our main objective being to demonstrate the theorem of structures for Abelian groups that tells us that every finitely generated abelian group is the direct sum of cyclic subgroups. / O conceito de módulo M sobre um anel A pode ser visto como uma generalização do conceito de espaço vetorial V sobre um corpo K. Neste trabalho, apresentaremos definições, exemplos e resultados acerca de módulos, sendo o nosso objetivo principal demonstrar o teorema de estruturas para grupos abelianos que nos diz que todo grupo abeliano finitamente gerado é a soma direta de subgrupos cíclicos.

Orientadores: Sueli Irene Rodrigues Costa, Jose Plinio de Oliveira Santos / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-13T23:35:30Z (GMT). No. of bitstreams: 1 Torezzan_Cristiano_D.pdf: 2362096 bytes, checksum: 1680bc5fc7cb94a63b0b11b50ac5a1c4 (MD5) Previous issue date: 2009 / Resumo: Códigos esféricos em espaços euclidianos n-dimensionais são conjuntos finitos de pontos sobre superfícies esféricas e têm sido amplamente estudados em conexão com a transmissão de sinais sobre um canal Gaussiano. Para este propósito deseja-se maximizar a distância mínima entre dois pontos quaisquer do código, o que está fortemente relacionado com o problema mais geral do empacotamento em esferas, o qual contempla aplicações em outras áreas. Na primeira parte deste trabalho estudamos códigos esféricos gerados como órbita de um vetor unitário sob a ação de um grupo comutativo de matrizes ortogonais, os denominados códigos de grupo comutativo. Propomos um método para obter o melhor código de grupo comutativo n-dimensional de ordem M, que baseia-se na associação entre tais códigos em dimensão 2k e reticulados k-dimensionais. Utilizando fatorações matriciais conhecidas, como as formas normais de Hermite e Smith, demonstramos que é possível reduzir o número de casos a serem analisados através da identificação de códigos isométricos que podem ser descartados. O problema da busca do vetor inicial ótimo para códigos de grupo comutativo é formalmente estabelecido com um problema de programação linear e utilizado em uma das etapas do método. Apresentamos resultados numéricos, incluindo tabelas com códigos de grupo comutativo ótimos em várias dimensões. Outra contribuição deste trabalho é a introdução de uma nova família de códigos esféricos, na qual os pontos são alocados sobre a superfície da esfera unitária 2k-dimensional em camadas de toros planares. Em cada uma das camadas deste código, pode-se estabelecer um código de grupo para a geração dos sinais e utilizar os resultados acima mencionados. Além de limitantes, inferior e superior, para o número de pontos, um método para construção destes códigos é apresentado explicitamente e alguns exemplos são construídos. Os resultados mostram que tais códigos têm desempenho comparável aos melhores códigos esféricos estruturados conhecidos, com destaque para uma potencial vantagem no processo de codificação/decodificação, decorrente da homogeneidade, estrutura de grupo e associação a reticulados na metade da dimensão / Abstract: Spherical codes in Euclidean spaces are finite sets of points on the surface of a multidimensional sphere and have been widely studied in connection with the signal transmission over a Gaussian channel. For this purpose one fundamental issue is to maximize the minimum distance between two code points, what is strongly related to the more general problem of sphere packing. In the first part of this work we study spherical codes generated as orbit of a initial vector under the action of a commutative group of orthogonal matrices, the so called commutative group codes. A method for searching the best n-dimensional commutative group code of order M is presented. Based on the well known Hermite and Smith normal form decomposition of matrices, and also on the relation between 2k-dimensional com- mutative group codes and k-dimensional lattices, we show that it is possible to reduce the number of cases to be analyzed through the identification of isometric codes which can be discarded. The initial vector problem for these codes is formally established as a linear programming problem and used as a sub-routine of the method. Numerical results are presented, including tables of good commutative groups codes in several dimensions. Other contribution of this work is a new class of spherical codes, constructed by placing points on flat tori layers. The codebook on each torus can be generated by a commutative group of orthogonal matrices, using the results previously mentioned. Upper and lower bounds on performance are derived and a systematic method for constructing the codes is presented. Some examples are constructed and the results exhibit good performance when compared to the best known structured spherical codes, with some advantage in the encoding/decoding process, due to the homogeneity, group structure and the relation with lattices in the half of the dimension / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada