Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-06-14T16:45:15Z No. of bitstreams: 1 2015_RebecaChuffiSaccochi.pdf: 2226603 bytes, checksum: 275216e3b040d9494ba5dc90e65922d1 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-01-18T20:09:53Z (GMT) No. of bitstreams: 1 2015_RebecaChuffiSaccochi.pdf: 2226603 bytes, checksum: 275216e3b040d9494ba5dc90e65922d1 (MD5) / Made available in DSpace on 2017-01-18T20:09:53Z (GMT). No. of bitstreams: 1 2015_RebecaChuffiSaccochi.pdf: 2226603 bytes, checksum: 275216e3b040d9494ba5dc90e65922d1 (MD5) / Um grupo G é dito central-por-finito se o índice do centro [G:Z(G)] é finito. É possível caracterizar a classe dos grupos central-por-finito de várias maneiras. Uma dessas, devida a R. Baer, assegura que um grupo é central-por-finito se, e somente se ele admite uma cobertura finita por subgrupos abelianos. A partir de um problema de teoria dos grafos proposto por Paul Erdös, B. H. Neumann caracterizou os grupos central-por-finito de outra maneira, assegurando que um grupo é central-por-finito se, e somente se ele é um PE-grupo, isto é, um grupo cujo grafo não-comutativo Г(G)não possui subgrafos completos infinitos. Essas duas caracterizações levam a considerar, de maneira natural, três indicadores numéricos relacionados a um grupo central por finito. Primeiro, [G:Z(G)], o índice do centro, segundo, a(G), o número mínimo de subgrupos abelianos necessários para cobrir o grupo G de forma irredundante, e terceiro, ω(G), o tamanho do maior subgrafo completo de Г(G), isto é, o tamanho do maior clique do grafo Г(G). Um problema interessante então é relacionar essas três quantidades, encontrando cotas de uma em função de outra e também determinar condições sob as quais valem as igualdades. Em geral, dado G um grupo central-por-finito, sempre temos que ω(G) ≤ a(G) ≤ [G:Z(G)] ≤c^ω(G) , onde c é uma constante. Além disso, quando G é finito, é natural relacionar os indicadores [G:Z(G)], a(G) e ω(G)não só entre eles, mas também com a ordem de G. Portanto, neste trabalho vamos estudar as duas caracterizações de grupos central-por-finito mencionadas anteriormente, relacionar os três indicadores numéricos ω(G), a(G) e [G:Z(G)] e apresentar vários exemplos, entre eles a família de grupos extraespeciais de ordemp^(2n+1). / A group G is said to be central-by-finite if the index of the center [G:Z(G)] is finite. It is possible to characterize the class of central-by-finite groups in many ways. One of them, due to R. Baer, guarantees that a group G is central-by-finite if and only if G can be covered by finitely many abelian subgroups. Motivated by a question on graph theory proposed by Paul Erdös, B. H. Neumann has characterized central-by-finite groups in a different way, ensuring that a group G is central-by-finite if and only if G is a PE-group, that is, a group whose non-commuting graph Г(G) contains no infinite complete subgraph. Both characterizations lead us to consider, in a natural manner, three numerical indicators related to a central-by-finite group. First, [G:Z(G)], the index of the center, second, a(G), the minimum number of abelian subgroups necessary to cover the group G in an irredundant way, and finally, ω(G), the size of the biggest complete subgraph of Г(G), that is, the size of the biggest clique of Г(G). It is interesting, then, to relate those three quantities, finding bounds of one in function of the other and also determining conditions under which equalities hold. In general, for a central-by-finite group G we have that ω(G) ≤ a(G) ≤ [G:Z(G)] ≤c^ω(G) , where c is a constant. Besides that, when G is finite, it is natural to relate the indicators [G:Z(G)], a(G) e ω(G)not only with each other, but also with the order of G. Therefore, in this essay we are going to study the two characterizations mentioned above, relate the three numerical indicators ω(G), a(G) and [G:Z(G)], and present many examples, among them, the class of extraspecial p-groups of order p^(2n+1).