Sejam F_q um corpo finito com q elementos, e C_n um grupo cíclico de n elementos com mdc(q,n) = 1. Iniciamos nosso trabalho inspirados nos resultados de Vega, estabelecendo condições para que um código de F_qC_n tenha peso constante. Com tal resultado concluímos que um código de peso constante em F_qC_n é da forma {rg^ie | r em F_q, i variando de 0 a n}. A partir disto, determinamos a quantidade de códigos de peso constante de F_qC_n, e construímos exemplos de códigos de dois pesos em F_q(C_n X C_n). Em seguida, estabelecemos sob quais condições um código em F_qA, para A um grupo abeliano finito, tem peso constante. Analisamos também os códigos de peso constante em RG, quando R um anel de cadeia finito e C_n é um grupo cíclico de n elementos com mdc(n,q) = 1. Além disso, analisamos o caso em que os elementos de um ideal de RA, para R um domínio de integridade infinito e A um grupo abeliano finito têm peso constante. / Let F_q be a field with q elements, C_n be a cyclic group of order n and suppose that gcd(q,n) = 1. In this work conditions are given to ensure that a code in F_qC_n is a one weight code, inspired in the work of Vega. As a consequence of this result we showed that a one weight code in F_qC_n is of the form {rg^ie | r in F_q, i between 0 and n}. With this, we determined the number of one weight codes in F_qC_n, and constructed examples of two weight codes in F_q(C_n X C_n). After this, we gave conditions to ensure that a code had constant weight in F_qA, for A a finite abelian group. We also analyzed the one weight codes in RG, R a chain ring and C_n a cyclic group with n elements with gcd(n,q) = 1. Moreover, we analyzed the case when the elements of an ideal in RA, for R an infinite integral domain and A a finite abelian group, have constant weight.

Sejam F_q um corpo finito com q elementos, e C_n um grupo cíclico de n elementos com mdc(q,n) = 1. Iniciamos nosso trabalho inspirados nos resultados de Vega, estabelecendo condições para que um código de F_qC_n tenha peso constante. Com tal resultado concluímos que um código de peso constante em F_qC_n é da forma {rg^ie | r em F_q, i variando de 0 a n}. A partir disto, determinamos a quantidade de códigos de peso constante de F_qC_n, e construímos exemplos de códigos de dois pesos em F_q(C_n X C_n). Em seguida, estabelecemos sob quais condições um código em F_qA, para A um grupo abeliano finito, tem peso constante. Analisamos também os códigos de peso constante em RG, quando R um anel de cadeia finito e C_n é um grupo cíclico de n elementos com mdc(n,q) = 1. Além disso, analisamos o caso em que os elementos de um ideal de RA, para R um domínio de integridade infinito e A um grupo abeliano finito têm peso constante. / Let F_q be a field with q elements, C_n be a cyclic group of order n and suppose that gcd(q,n) = 1. In this work conditions are given to ensure that a code in F_qC_n is a one weight code, inspired in the work of Vega. As a consequence of this result we showed that a one weight code in F_qC_n is of the form {rg^ie | r in F_q, i between 0 and n}. With this, we determined the number of one weight codes in F_qC_n, and constructed examples of two weight codes in F_q(C_n X C_n). After this, we gave conditions to ensure that a code had constant weight in F_qA, for A a finite abelian group. We also analyzed the one weight codes in RG, R a chain ring and C_n a cyclic group with n elements with gcd(n,q) = 1. Moreover, we analyzed the case when the elements of an ideal in RA, for R an infinite integral domain and A a finite abelian group, have constant weight.

Submitted by Izabel Franco (izabel-franco@ufscar.br) on 2016-09-23T19:38:10Z No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-26T20:45:16Z (GMT) No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-26T20:45:22Z (GMT) No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) / Made available in DSpace on 2016-09-26T20:45:29Z (GMT). No. of bitstreams: 1 DissGCIF.pdf: 1709329 bytes, checksum: 237db6a30fde160e22a9171ebb48cdb8 (MD5) Previous issue date: 2015-04-22 / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / The nonabelian tensor square GG of a group G was introduced by R. K. Dennis [8] in a search for new homology functors having a close relationship to K-theory and it is based on the work of C. Miller [14]. Subsequently R. Brown and J.-L. Loday [6] discovered a topological significance for the tensor square, namely, that the third homotopy group of the suspension of an Eilenberg MacLane space K(G; 1) satisfies _3 �����SK(G; 1) _ _= ker(_1), where _1 : GG ! G is the “comutator homomorphism”: _1(gh) = [g; h] = ghg�����1h�����1, 8g; h 2 G. They also defined the tensor product GH of two distinct groups acting “compatibly” on each other and showed that it arose in a certain “universal crossed square”. The main purpose of this work is to present the first properties of the nonabelian tensor product of groups and its applications in homotopy theory. / O quadrado tensorial não-abeliano GG de um grupo G foi introduzido por R. K. Dennis [8] em uma busca por novos funtores de homologia tendo uma íntima relação com a K-teoria e é baseado no trabalho de C. Miller [14]. Após isso, R. Brown e J.-L. Loday [6] descobriram uma importância topológica para o quadrado tensorial, a saber, que o terceiro grupo de homotopia da suspensão de um espaço de Eilenberg MacLane K(G; 1) satisfaz _3 SK(G; 1) __= ker(_1), em que _1 : G G ! G é o “homomorfismo comutador”: _1(gh) = [g; h] = ghg1h1, 8g; h 2 G. Os autores também definiram o produto tensorial GH de dois grupos quaisquer agindo “compativelmente” um no outro e mostraram que este aparece em um certo “quadrado cruzado universal”. O objetivo desse trabalho é apresentar o produto tensorial de grupos não-abelianos, suas primeiras propriedades e a aplicação dele na teoria de homotopia. / Processo 2013/01245-7

[pt] Um diagrama de Bratteli B é um objeto combinatório representado por um grafo dividido em infinitos níveis, cada um com número finito de vértices e de arestas entre vértices de níveis consecutivos. Além disso, todo vértice possui ligação com vértices dos níveis precedente e sucessor. Estudamos, do ponto de vista topológico, o espaço dos caminhos infinitos formados pelas arestas de um diagrama de Bratteli, denotado por XB. Estabelecemos uma relação de equivalência neste espaço, denominada AF. Quando é possível definir uma ordem parcial em XB o diagrama é dito ordenado; neste caso, definimos um homeomorfismo em XB denominado de função de Bratteli-Vershik. Consideramos sistemas dinâmicos minimais definidos em conjuntos de Cantor e associamos a estes diagramas de Bratteli ordenados. Um exemplo paradigmático de um conjunto de Cantor é o espaço das sequências infinitas formadas por 00s e 10s, munido de uma métrica apropriada. Neste espaço são definidas as funções odômetro. Definimos a relação de equivalência orbital, na qual duas sequências são equivalentes se estão na mesma órbita do odômetro, e a relação de equivalência de caudas, onde duas sequências são equivalentes se a partir de alguma entrada elas são iguais. Estudamos como estas duas relações estão relacionadas. Provamos que o odômetro diádico é um homeomorfismo minimal definido em um conjunto de Cantor e, portanto, pode ser associado a um diagrama de Bratteli ordenado. Uma relação de equivalência é dita étale quando admite uma topologia gerada por uma ação local. Dois exemplos são as relações AF e orbital. Dada uma relação de equivalência étale R em um espaço X, definimos um invariante algébrico D(X,R). Construímos o grupo de dimensão de um diagrama de Bratteli. Provamos, então, que dado um diagrama de Bratteli B, seu grupo de dimensão é isomorfo a D(XB,RB), onde RB é relação AF de B. Finalmente, estudamos sob quais condições um grupo abeliano ordenado é o grupo de dimensão de um diagrama de Bratteli. Esta dissertação é baseada no livro de Ian F. Putnam Cantor minimal systems, publicado em University Lecture Series, 70. American Mathematical Society, Providence, RI, 2018. [6]. / [en] A Bratteli diagram B is a combinatorial object represented by a graph divided into infinite levels, each level with a finite number of vertices and edges between vertices of consecutive levels. Moreover, every vertex is connected to vertices of the preceding and successor levels. We study, from a topological point of view, the space of infinite paths formed by the edges of a Bratteli diagram, denoted by XB. We establish an equivalence relation on this space, called the AF relation. When it is possible to define a partial order in XB the Bratteli diagram is called ordered; in this case, we define a homeomorphism on XB called the Bratteli-Vershik function. We consider minimal dynamic systems defined on Cantor sets and associate to these systems ordered Bratteli diagrams. A paradigmatic example of a Cantor set is the space of the infinite sequences formed by 00s and 10s, equipped with an appropriate metric. In this space, are defined the odometer functions. We define the orbital equivalence relation, in which two elements of the Cantor set are equivalent if they are in the same orbit of the odometer, and the tail equivalence relation, where two sequences are equivalents if they differ in only finitely many entries. We study how these equivalence relations are related. We prove that the dyadic odometer is a minimal homeomorphism and, therefore, it can be associated to a ordered Bratteli diagram. An equivalence relation is called étale if it admits a topology generated by a local action. Two examples are the AF equivalence relation and the orbital equivalence relation above. Given an étale equivalence relation R on a space X, we define an algebraic invariant D(X,R). We construct the dimension group of a Bratteli diagram. Then, we prove that given a Bratteli diagram B, its dimension group is isomorphic to D(XB,RB), where RB is the AF equivalence relation of B. Finally, we study under which conditions an ordered abelian group is the dimension group for some Bratteli diagram. This master thesis is based on the book by Ian F. Putnam Cantor minimal systems, published in University Lecture Series, 70. American Mathematical Society, Providence, RI, 2018. [6].

Made available in DSpace on 2014-07-29T16:02:18Z (GMT). No. of bitstreams: 1 Dissertacao Agenor Freitas de Andrade.pdf: 1042479 bytes, checksum: 049cc003452cdaee484bef8ab2c371b3 (MD5) Previous issue date: 2011-07-01 / Let G and Gj be isomorphic groups. We study the group V (G) which is an extension of the non-abelian tensor square of a group G, G G. Looking for V (G) as an operator in the class of groups, we observe that this operator preserves some properties of the group G such as finiteness, nilpotency and solubility. For a p-group finite G we find an upper bound for the order of G G. Finally, we verified computationally, for some groups, and that the results and also the bounds for the orders of the groups shown here are actually respected. / Sejam G e Gj grupos isomorfos. Estudaremos o grupo V (G) que é uma extensão de grupo do quadrado tensorial não-abeliano de um grupo G, G G. Olhando para V (G) como um operador na classe de grupos, observamos que este operador preserva algumas propriedades do grupo G, tais como finitude, solubilidade e nilpotência. Ainda para um p-grupo finito G encontramos um limitante para ordem de G G: Por fim, verificamos computacionalmente, para alguns grupos, que os resultados e também os limitantes para as ordens dos grupos aqui apresentados são de fato respeitados.

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-03-15T12:16:24Z No. of bitstreams: 1 arquivototal.pdf: 5169144 bytes, checksum: 66d534e3f0c0c59bf5d35a45290fa390 (MD5) / Made available in DSpace on 2016-03-15T12:16:24Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 5169144 bytes, checksum: 66d534e3f0c0c59bf5d35a45290fa390 (MD5) Previous issue date: 2015-02-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this thesis, we propose an experimental setup for the study of Landau quantization and associated effects in a two-dimensional ultracold atomic gas. Gauge fields can emerge in the equation of motion for the optically addressed ultracold atoms. To this end, spatially dependent dark states are necessary for the internal states of the atoms. A tripod level scheme yields two degenerate dark states which can leads to either an Abelian U(1) U(1) gauge field or a non-Abelian SU(2) gauge field. Using a suitable laser configuration, we obtain a uniform U(1) U(1) magnetic field which causes the atoms organize themselves in Landau levels. The strength of the effective magnetic field depends on the relative intensity of the lasers beams at the atomic cloud. We estimate the degeneracy of the energy levels for an atomic gas formed by atoms of 87Rb. In addition, we establish the experimental conditions to reach the lowest Landau level regime. In the zero-temperature limit, we realize the emergence of magnetic oscillations in the atomic energy and its derivative as function of the inverse of the effective magnetic field (de Haas van Alphen effect). The period of the de Haas van Alphen oscillation allow us to determine area of the Fermi circle for the atomic gas via an Onsager-like relation. We also show that detuning the a laser from the two-photon resonance we generate a parabolic scalar potential that laterally confines the atoms. As a consequence, the Landau levels degeneracy is removed, since the energy spectrum depends explicitly on the transverse atomic momentum. We show that the Landau levels presents a reminiscent degeneracy when the boundaries conditions are considered. The residual degeneracy occurs when different energy levels overlap. We map the residual degeneracy points as a function of the effective magnetic field. Finally, we present an experimental scheme for observing the spin Hall effect for ultracold atoms in a tripod configuration. / Nesta tese, propomos um arranjo experimental para o estudo da quantização de Landau e efeitos associados em um gás atômico ultrafrio bidimensional. Campos de calibre podem surgir na equação de movimento para átomos ultrafrios oticamente vestidos. Para que isto ocorra, estados escuros espacialmente dependentes são necessários a partir dos estados internos dos átomos. Átomos numa configuração de níveis de energia do tipo tripod produzem dois estados escuros degenerados, que podem levar a campos de calibre Abelianos U(1) U(1) ou não-Abelianos SU(2). Utilizando uma configuração adequada de lasers, mostramos que é possível se produzir um campo magnético sintético uniforme U(1) U(1) que atua nos átomos neutros fazendo-os se organizarem em níveis de Landau. A intensidade do campo efetivo depende da intensidade relativa dos feixes de luz na nuvem atômica. Estimamos a degenerescência dos níveis de energia para um gás atômico formado por átomos de 87Rb e estabelecemos as condições experimentais para que seja atingido o regime em que todos os átomos populam unicamente o nível de Landau menos energético. Considerando o limite de temperatura nula, verificamos o surgimento de oscilações magnéticas na energia e em sua derivada como uma função do inverso do campo magnético efetivo (efeito de Haas van Alphen). O período da oscilação magnética nos permite determinar a área do círculo de Fermi para o gás atômico através de uma expressão similar a de Onsager para sistemas eletrônicos. Mostramos também que dessintonizando um dos lasers em relação à ressonância de dois fótons geramos um potencial escalar parabólico que faz com os átomos sejam lateralmente confinados. Isto resulta na remoção da degenerescência dos níveis de Landau, uma vez que a energia depende explicitamente do momento atômico transverso. Demonstramos que, aplicando condições periódicas de contorno ao sistema, temos o surgimento de uma degenerescência residual. A degenerescência remanescente ocorre quando diferentes níveis de energia se superpõem. Mapeamos os pontos de degenerescência como uma função do campo magnético efetivo. Por fim, apresentamos um esquema experimental para a observação do efeito spin Hall para átomos ultrafrios em uma configuração tripod.

[pt] Iniciamos o trabalho com uma revisão da classificação de álgebras de Lie semi-simples sobre corposo algebraicamente fechados de caracteristica zero a traves dos Diagramas de Dyinkin. Posteriormente estudamos sigma - sistemas normais e classificamos eles a traves de diagramas de Satake. Finalmente estudamos a estrutura das formas reais de álgebras de Lie semi-simples complexas, explicitando a conexão com os diagramas de Satake e fornecenendo assim uma classificação das mesmas. / [en] We begin the work with a review of the classification of semisimple Lie algebras over an algebraically field of characteristic zero through the Dyinkin Diagrams. Subsequently we study sigma - normal systems and classify them through Satake diagrams. Finally we study the structure of the real forms of complex semi-simple Lie algebras, explaining the connection with the Satake diagrams and thus providing a classification of them.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste tese, estudamos os efeitos não perturbativos associados à presença do horizonte de Gribov e à condensação de operadores locais de dimensão dois, numa teoria de Yang-Mills euclidiana em SU(2), quantizada no calibre abeliano maximal. Estes efeitos são introduzidos de modo a preservar as propriedades de renormalizabilidade e localidade da teoria, e refletem-se diretamente no comportamento dos propagadores. A comparação com os dados da rede indicam um bom acordo qualitativo. / In this, we study the nonperturbative effects associated to the presence of the horizon and to the condensation of local dimension two operators in an Eucledean SU(2)Yang-Mills theory quantized in the maximal Abelian gauge. Such effects are introduced in a way to preserve the properties of renormalizability and locality of the theory. The comparison with the lattice data indicates a good qualitative agreement.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste tese, estudamos os efeitos não perturbativos associados à presença do horizonte de Gribov e à condensação de operadores locais de dimensão dois, numa teoria de Yang-Mills euclidiana em SU(2), quantizada no calibre abeliano maximal. Estes efeitos são introduzidos de modo a preservar as propriedades de renormalizabilidade e localidade da teoria, e refletem-se diretamente no comportamento dos propagadores. A comparação com os dados da rede indicam um bom acordo qualitativo. / In this, we study the nonperturbative effects associated to the presence of the horizon and to the condensation of local dimension two operators in an Eucledean SU(2)Yang-Mills theory quantized in the maximal Abelian gauge. Such effects are introduced in a way to preserve the properties of renormalizability and locality of the theory. The comparison with the lattice data indicates a good qualitative agreement.