Grande parte dos problemas em Anéis de Grupo centraliza-se em torno do estudo do seu grupo de unidades. Torna-se importante então conhecermos a estrutura do grupo de unidades de um anel de grupo U(ZG). No entanto, salvo raras exceções, pouco se conhece acerca da estrutura de U(ZG). Uma das idéias para se conhecer um pouco mais sobre a estrutura do grupo de unidades seria estudarmos a sua série central superior. No caso em que o grupo G é finito, um resultado de Gruenberg pode ser usado para mostrar que a série central superior de U = U(ZG) estaciona. Este fato nos possibilita estudarmos o hipercentro de U(ZG). A fim de obter mais informações sobre as unidades hipercentrais de U(ZG), nós necessitamos de uma descrição dos subgrupos de torção do hipercentro de U(ZG), o qual obtemos através dos resultados de Bovdi sobre os subgrupos normais periódicos de U(ZG). De modo geral, utilizando os resultados de Bovdi obtemos uma classificação dos grupos periódicos G em função do subgrupo dos elementos % de torção do hipercentro de U(ZG). Neste momento, surgem algumas perguntas, as quais procuraremos expor neste trabalho. Entre elas: O limitante superior para a série central superior de U(ZG) depende do grupo G? Como determinar a altura central superior de U(ZG)? Neste momento é interessante salientarmos como a Conjectura do Normalizador nos possibilita obtermos uma estimativa para a altura central de U(ZG). Todas estas perguntas são respondidas no capítulo 4, como resultado dos trabalhos de Arora, Hales, Passi que nos garantem que neste caso a altura central de U(ZG) é no máximo 2. Embora a demonstração original deste fato, devido a Arora, Hales e Passi, não tenha utilizado a Conjectura do Normalizador, tomamos neste trabalho a idéia de supormos um provável caminho que levasse a este resultado obtendo estimativas para a altura central de U(ZG) utilizando a Conjectura do Normalizador e um teorema de Gross. Nosso intuito com isso foi o de conectarmos a resolução do problema em questão com um problema de pesquisa intensa atual na área, ou seja, a Conjectura do Normalizador. Nesse caso, surge mais uma pergunta: Quais os grupos G tais que U(ZG) admite altura central exatamente 0, 1 ou 2? Pergunta que é respondida por Arora, Hales e Passi também. Finalmente, mais um resultado de Arora, Hales e Passi nos mostram uma caracterização do hipercentro de U(ZG) que surpreendentemente bate com a estimativa dada pela Conjectura do Normalizador. É interessante notar aqui o aparecimento da Conjectura do Normalizador tanto para obtermos uma estimativa da altura central de U(ZG) como na caracterização do hipercentro de U(ZG). No capítulo 5 apresentamos a generalização dos resultados de Arora, Hales e Passi para o caso em que o grupo G é periódico, cujos resultados se devem basicamente a Y.Li. No caso em que o grupo G é periódico, Li mostrou que a altura central de U(ZG) é no máximo 2. E introduzindo o conceito de n-centro de um grupo, obtém-se uma caracterização do n-centro de U(ZG) em função dos resultados sobre o hipercentro do grupo de unidades. / A great deal of problems in Group Rings centralize around the study of its group of units. Hence it becomes important to know the structure of the group of units U(ZG). But with a few exceptions, we do not have much information about its structure. Trying to obtain more information about the structure of U(ZG), we could, for example, study the upper central series of U(ZG). In case G is finite, a result of Gruenberg implies that U(ZG) has finite central height. This fact allow us to study the hypercenter of U(ZG). In order to obtain more information about the hypercentral units of U(ZG) we need a description of the torsion subgroup of the hypercenter of U(ZG) which is provided by results of Bovdi on periodic normal subgroups of U(ZG). Gruenberg\'s result suscites some questions which we will try to answer in this work. Among them: The upper bound for the upper central serie of U(ZG) depends on of the group G? How could we determine the central height of U(ZG)? It is interesting to see how we could obtain an estimative for the central height of U(ZG) using the Normalizer Conjecture. All these questions are answered in chapter 4, as a consequence of Arora, Hales and Passi\'s work which guarantees us that in this case the central height of U(ZG) is at most 2. Nevertheless this result of Arora, Hales and Passi doesn\'t use the Normalizer Conjecture, we suppose here that the Normalizer Conjecture holds and used a result of Gross to obtain estimatives to the central height of U(ZG). Our aim was to connect the question discussed ahead with a intensive research problem, the Normalizer Conjecture. This arises the following question: For which groups does U(ZG) have central height exactly 0, 1 or 2? This question is also answered by Arora, Hales and Passi. Finally, another result of Arora, Hales and Passi present us a characterization of the hypercenter of U(ZG), which surprisingly satisfies the condition presented in the Normalizer Conjecture. It is interesting to observe here the appearing of Normalizer Conjecture to obtain an estimative for the central height of U(ZG) and to obtain a characterization of the hypercenter of U(ZG). In chapter 5 we present a result of Li which generalizes the result of Arora, Hales and Passi to the case when G is a periodic group. He proves that the central height of U(ZG) is also at most 2. Introducing the concept of n-center he was able to use the results about the hypercenter of U(ZG) to obtain a characterization of the n-center of U(ZG).

Grande parte dos problemas em Anéis de Grupo centraliza-se em torno do estudo do seu grupo de unidades. Torna-se importante então conhecermos a estrutura do grupo de unidades de um anel de grupo U(ZG). No entanto, salvo raras exceções, pouco se conhece acerca da estrutura de U(ZG). Uma das idéias para se conhecer um pouco mais sobre a estrutura do grupo de unidades seria estudarmos a sua série central superior. No caso em que o grupo G é finito, um resultado de Gruenberg pode ser usado para mostrar que a série central superior de U = U(ZG) estaciona. Este fato nos possibilita estudarmos o hipercentro de U(ZG). A fim de obter mais informações sobre as unidades hipercentrais de U(ZG), nós necessitamos de uma descrição dos subgrupos de torção do hipercentro de U(ZG), o qual obtemos através dos resultados de Bovdi sobre os subgrupos normais periódicos de U(ZG). De modo geral, utilizando os resultados de Bovdi obtemos uma classificação dos grupos periódicos G em função do subgrupo dos elementos % de torção do hipercentro de U(ZG). Neste momento, surgem algumas perguntas, as quais procuraremos expor neste trabalho. Entre elas: O limitante superior para a série central superior de U(ZG) depende do grupo G? Como determinar a altura central superior de U(ZG)? Neste momento é interessante salientarmos como a Conjectura do Normalizador nos possibilita obtermos uma estimativa para a altura central de U(ZG). Todas estas perguntas são respondidas no capítulo 4, como resultado dos trabalhos de Arora, Hales, Passi que nos garantem que neste caso a altura central de U(ZG) é no máximo 2. Embora a demonstração original deste fato, devido a Arora, Hales e Passi, não tenha utilizado a Conjectura do Normalizador, tomamos neste trabalho a idéia de supormos um provável caminho que levasse a este resultado obtendo estimativas para a altura central de U(ZG) utilizando a Conjectura do Normalizador e um teorema de Gross. Nosso intuito com isso foi o de conectarmos a resolução do problema em questão com um problema de pesquisa intensa atual na área, ou seja, a Conjectura do Normalizador. Nesse caso, surge mais uma pergunta: Quais os grupos G tais que U(ZG) admite altura central exatamente 0, 1 ou 2? Pergunta que é respondida por Arora, Hales e Passi também. Finalmente, mais um resultado de Arora, Hales e Passi nos mostram uma caracterização do hipercentro de U(ZG) que surpreendentemente bate com a estimativa dada pela Conjectura do Normalizador. É interessante notar aqui o aparecimento da Conjectura do Normalizador tanto para obtermos uma estimativa da altura central de U(ZG) como na caracterização do hipercentro de U(ZG). No capítulo 5 apresentamos a generalização dos resultados de Arora, Hales e Passi para o caso em que o grupo G é periódico, cujos resultados se devem basicamente a Y.Li. No caso em que o grupo G é periódico, Li mostrou que a altura central de U(ZG) é no máximo 2. E introduzindo o conceito de n-centro de um grupo, obtém-se uma caracterização do n-centro de U(ZG) em função dos resultados sobre o hipercentro do grupo de unidades. / A great deal of problems in Group Rings centralize around the study of its group of units. Hence it becomes important to know the structure of the group of units U(ZG). But with a few exceptions, we do not have much information about its structure. Trying to obtain more information about the structure of U(ZG), we could, for example, study the upper central series of U(ZG). In case G is finite, a result of Gruenberg implies that U(ZG) has finite central height. This fact allow us to study the hypercenter of U(ZG). In order to obtain more information about the hypercentral units of U(ZG) we need a description of the torsion subgroup of the hypercenter of U(ZG) which is provided by results of Bovdi on periodic normal subgroups of U(ZG). Gruenberg\'s result suscites some questions which we will try to answer in this work. Among them: The upper bound for the upper central serie of U(ZG) depends on of the group G? How could we determine the central height of U(ZG)? It is interesting to see how we could obtain an estimative for the central height of U(ZG) using the Normalizer Conjecture. All these questions are answered in chapter 4, as a consequence of Arora, Hales and Passi\'s work which guarantees us that in this case the central height of U(ZG) is at most 2. Nevertheless this result of Arora, Hales and Passi doesn\'t use the Normalizer Conjecture, we suppose here that the Normalizer Conjecture holds and used a result of Gross to obtain estimatives to the central height of U(ZG). Our aim was to connect the question discussed ahead with a intensive research problem, the Normalizer Conjecture. This arises the following question: For which groups does U(ZG) have central height exactly 0, 1 or 2? This question is also answered by Arora, Hales and Passi. Finally, another result of Arora, Hales and Passi present us a characterization of the hypercenter of U(ZG), which surprisingly satisfies the condition presented in the Normalizer Conjecture. It is interesting to observe here the appearing of Normalizer Conjecture to obtain an estimative for the central height of U(ZG) and to obtain a characterization of the hypercenter of U(ZG). In chapter 5 we present a result of Li which generalizes the result of Arora, Hales and Passi to the case when G is a periodic group. He proves that the central height of U(ZG) is also at most 2. Introducing the concept of n-center he was able to use the results about the hypercenter of U(ZG) to obtain a characterization of the n-center of U(ZG).

Submitted by Marcio Filho (marcio.kleber@ufba.br) on 2016-06-07T13:38:55Z No. of bitstreams: 1 Elen_dissert_princ.pdf: 780037 bytes, checksum: 190cde1ac440feff303767a5c415a47b (MD5) / Approved for entry into archive by Uillis de Assis Santos (uillis.assis@ufba.br) on 2016-06-07T18:00:27Z (GMT) No. of bitstreams: 1 Elen_dissert_princ.pdf: 780037 bytes, checksum: 190cde1ac440feff303767a5c415a47b (MD5) / Made available in DSpace on 2016-06-07T18:00:27Z (GMT). No. of bitstreams: 1 Elen_dissert_princ.pdf: 780037 bytes, checksum: 190cde1ac440feff303767a5c415a47b (MD5) / O presente trabalho tem como objetivos estudar o subgrupo de todas as unidades de um anel de grupo integral bem como o subgrupo das unidades generalizadas; apresentar a relação entre estes subgrupos e o grupo das unidades. Verifica-se que o subgrupo das unidades generalizadas é exatamente o normalizador do subgrupo das unidades e que quando o grupo é periódico, o normalizador do subgrupo das unidades generalizadas é o próprio subgrupo. Além disso, serão caracterizados grupos para os quais se tenha o subgrupo das unidades bicíclicas sendo um subgrupo das unidades generalizadas. Finalmente, serão apresentados resultados que podem ser estendidos para a partir de e algumas relações entre as unidades hipercentrais de um anel de grupo integral e as unidades generalizadas.

Na presente dissertação, discutimos o Problema do Isomorfismo em anéis de grupo para grupos infinitos da forma G × C, apresentado no artigo de Mazur [14], que enuncia um teorema mostrando a equivalência para o Problema do Isomorfismo entre essa classe de grupos infinitos e grupos finitos que satisfaçam a Conjectura do Normalizador. Nossa ênfase concentra-se na relação entre a Conjectura do Isomorfismo e a Conjectura do Normalizador, primeiramente, observada nesse artigo. Em seguida, consideramos um teorema de estrutura para as unidades centrais em anéis de grupo comunicado, pela primeira vez, no artigo de Jespers-Parmenter-Sehgal [9], e generalizado por Polcino Milies-Sehgal em [17], e Jespers-Juriaans em [7]. Evidenciamos a importância desse teorema para a Teoria de Anéis de Grupo e apresentamos uma nova demonstração para o teorema de equivalência de Mazur, considerando, para tanto, uma apropriada unidade central e sua estrutura, caracterizada pelo teorema comunicado para as unidades centrais. Concluímos a dissertação, descrevendo a construção do grupo das unidades centrais para o anel de grupo ZA5 , um grupo livre finitamente gerado de posto 1, utilizando a construção dada no artigo de Aleev [1]. / In this dissertation, we discuss the Problem of the Isomorphism in group rings for infinite groups as G × C. This is presented in [14]. Such article states a theorem which shows an equivalence to the isomorphism problem between that infinite class group and finite groups verifying the Normalizer Conjecture. Our main purpose is the Normalizer Conjecture and the Isomorphism Conjecture relationship remarked in the cited article to the groups above. Following, we consider a group ring theorem to the central units subgroup firstly communicated in [9] and generalized in [17] and [7]. We point up the importance of such theorem to the Group Ring Theory and we give a short and a new demonstration to Mazurs equivalence theorem from using a suitable central unit altogether with its structure lightly by the Central Unit Theorem on focus. We conclude this work sketching the ZA5 central units subgroup on showing it is a free finitely generated group of rank 1 from the presenting construction in Aleevs article [1].

O objetivo do trabalho é apresentar alguns resultados acerca de anéis de grupos e aplicações, segundo o que foi estudado em livros e artigos sobre o assunto. Inicialmente, apresentaremos alguns fatos básicos sobre anéis de grupos, que podem ser encontrados em [5], e em seguida, apresentaremos os resultados principais, mais recentes, que foram estudados em dois artigos diferentes. No primeiro artigo [4], apresentou-se uma forma de calcular o número de componentes simples de certas álgebras de grupos abelianos finitos, bem como também foi apresentada uma forma de calcular geradores idempotentes de códigos abelianos minimais, suas dimensões e seus pesos. No segundo artigo [2], encontra-se uma descrição feita dos idempotentes centrais primitivos da álgebra de grupo racional de grupos nilpotentes finitos. / Our goal in this project is to present some results about group rings and its applications, as presented in books and articles about this subject. First of all we are going to establish some basic fact about group rings, which can be found mainly in [5], and then we will present the main results, which are more recent, and have been studied in two different articles. In [4], the authors presented a way of evaluating the number of simple components of some finite group algebras, as well presented a way of evaluating idempotent generators of some minimal abelian codes, their dimension and their weights. In [2] there is a complete description of all the primitive central idempotents of the rational group algebra of finite nilpotent groups.

O objetivo do trabalho é apresentar alguns resultados acerca de anéis de grupos e aplicações, segundo o que foi estudado em livros e artigos sobre o assunto. Inicialmente, apresentaremos alguns fatos básicos sobre anéis de grupos, que podem ser encontrados em [5], e em seguida, apresentaremos os resultados principais, mais recentes, que foram estudados em dois artigos diferentes. No primeiro artigo [4], apresentou-se uma forma de calcular o número de componentes simples de certas álgebras de grupos abelianos finitos, bem como também foi apresentada uma forma de calcular geradores idempotentes de códigos abelianos minimais, suas dimensões e seus pesos. No segundo artigo [2], encontra-se uma descrição feita dos idempotentes centrais primitivos da álgebra de grupo racional de grupos nilpotentes finitos. / Our goal in this project is to present some results about group rings and its applications, as presented in books and articles about this subject. First of all we are going to establish some basic fact about group rings, which can be found mainly in [5], and then we will present the main results, which are more recent, and have been studied in two different articles. In [4], the authors presented a way of evaluating the number of simple components of some finite group algebras, as well presented a way of evaluating idempotent generators of some minimal abelian codes, their dimension and their weights. In [2] there is a complete description of all the primitive central idempotents of the rational group algebra of finite nilpotent groups.

Na presente dissertação, discutimos o Problema do Isomorfismo em anéis de grupo para grupos infinitos da forma G × C, apresentado no artigo de Mazur [14], que enuncia um teorema mostrando a equivalência para o Problema do Isomorfismo entre essa classe de grupos infinitos e grupos finitos que satisfaçam a Conjectura do Normalizador. Nossa ênfase concentra-se na relação entre a Conjectura do Isomorfismo e a Conjectura do Normalizador, primeiramente, observada nesse artigo. Em seguida, consideramos um teorema de estrutura para as unidades centrais em anéis de grupo comunicado, pela primeira vez, no artigo de Jespers-Parmenter-Sehgal [9], e generalizado por Polcino Milies-Sehgal em [17], e Jespers-Juriaans em [7]. Evidenciamos a importância desse teorema para a Teoria de Anéis de Grupo e apresentamos uma nova demonstração para o teorema de equivalência de Mazur, considerando, para tanto, uma apropriada unidade central e sua estrutura, caracterizada pelo teorema comunicado para as unidades centrais. Concluímos a dissertação, descrevendo a construção do grupo das unidades centrais para o anel de grupo ZA5 , um grupo livre finitamente gerado de posto 1, utilizando a construção dada no artigo de Aleev [1]. / In this dissertation, we discuss the Problem of the Isomorphism in group rings for infinite groups as G × C. This is presented in [14]. Such article states a theorem which shows an equivalence to the isomorphism problem between that infinite class group and finite groups verifying the Normalizer Conjecture. Our main purpose is the Normalizer Conjecture and the Isomorphism Conjecture relationship remarked in the cited article to the groups above. Following, we consider a group ring theorem to the central units subgroup firstly communicated in [9] and generalized in [17] and [7]. We point up the importance of such theorem to the Group Ring Theory and we give a short and a new demonstration to Mazurs equivalence theorem from using a suitable central unit altogether with its structure lightly by the Central Unit Theorem on focus. We conclude this work sketching the ZA5 central units subgroup on showing it is a free finitely generated group of rank 1 from the presenting construction in Aleevs article [1].

Apresentamos duas construções para unidades de uma ordem em uma classe de álgebras de quatérnios que é anel de divisão: as unidades de Pell e as unidades de Gauss. Classificamos os anéis de inteiros de extensões quadráticas racionais, $R$, cujo grupo de unidades $\\U (R G)$ é hiperbólico para um certo grupo $G$ fixado. Também classificamos os semigrupos finitos $S$, tal que, para a álgebra unitária $\\Q S$ e para toda $\\Z$-ordem $\\Gamma$ de $\\Q S$, o grupo de unidades $\\U (\\Gamma)$ é hiperbólico. Nesse mesmo contexto, classificamos os {\\it RA}-loops $L$ cujo loop de unidades $\\U (\\Z L)$ não contém um subgrupo abeliano livre de posto dois. / For a given division algebra of a quaternion algebra, we construct and define two types of units of its $\\Z$-orders: Pell units and Gauss units. Also, for the quadratic imaginary extensions over the racionals and some fixed group $G$, we classify the algebraic integral rings for which the unit group ring is a hyperbolic group. We also classify the finite semigroups $S$, for which all integral orders $\\Gamma$ of $\\Q S$ have hyperbolic unit group $\\U(\\Gamma)$. We conclude with the classification of the $RA$-loops $L$ for which the unit loop of its integral loop ring does not contain a free abelian subgroup of rank two.

Apresentamos duas construções para unidades de uma ordem em uma classe de álgebras de quatérnios que é anel de divisão: as unidades de Pell e as unidades de Gauss. Classificamos os anéis de inteiros de extensões quadráticas racionais, $R$, cujo grupo de unidades $\\U (R G)$ é hiperbólico para um certo grupo $G$ fixado. Também classificamos os semigrupos finitos $S$, tal que, para a álgebra unitária $\\Q S$ e para toda $\\Z$-ordem $\\Gamma$ de $\\Q S$, o grupo de unidades $\\U (\\Gamma)$ é hiperbólico. Nesse mesmo contexto, classificamos os {\\it RA}-loops $L$ cujo loop de unidades $\\U (\\Z L)$ não contém um subgrupo abeliano livre de posto dois. / For a given division algebra of a quaternion algebra, we construct and define two types of units of its $\\Z$-orders: Pell units and Gauss units. Also, for the quadratic imaginary extensions over the racionals and some fixed group $G$, we classify the algebraic integral rings for which the unit group ring is a hyperbolic group. We also classify the finite semigroups $S$, for which all integral orders $\\Gamma$ of $\\Q S$ have hyperbolic unit group $\\U(\\Gamma)$. We conclude with the classification of the $RA$-loops $L$ for which the unit loop of its integral loop ring does not contain a free abelian subgroup of rank two.