O principal objetivo desta dissertacão é estudar a produtividade da compacidade enumerável em grupos topológicos. Vários contra-exemplos foram descritos. / The main aim of this thesis is to study the productivity of coutable compactness in topological groups. Several counterexamples were described.

Orientador: Ermínia de Lourdes Campello Fanti / Coorientador: Évelin Meneguesso Barbaresco / Banca: Anderson Paião dos Santos / Banca: Maria Gorete Carreira Andrade / Resumo: O Teorema de Borsuk-Ulam clássico afirma que: "Se f : Sn → IRn é uma aplicação contínua, entãoexisteumponto x em Sn talque f(x) = f(−x), ouequivalentemente f(x) = f(A(x)), onde Sn indica a esfera unitária n-dimensional e A : Sn → Sn é a aplicação antipodal". Se pensamos na superfície terrestre como uma esfera, o caso n = 2 pode ser ilustrado dizendo-se que em cada instante, existe sempre um par de pontos antipodais na superfície da Terra com mesma temperatura e pressão barométrica (supondo que a temperatura e a pressão variam continuamente na superfície). Este trabalho é baseado no artigo "Some generalizations of the Borsuk-Ulam Theorem" de Vendrúsculo, Desideri e Pergher (2011), [8], e tem como principal objetivo apresentar um estudo de uma versão fraca do Teorema de Borsuk-Ulam associada a grupos topológicos. Diz-se que {(X,T);G}, onde X é um espaço topológico equipado por uma involução livre T e G é um grupo topológico, "satisfaz uma versão fraca do Teorema de Borsuk-Ulam", abreviadamente, "satisfaz WBUT", se, para cada aplicação contínua f : X → G, temos que o conjunto {x ∈ X; f(x) · f(T(x))−1 ∈ 2G} é diferente do vazio, onde f(T(x))−1 é o simétrico de f(T(x)) em G e 2G = {g ∈ G; g = g−1}. Neste trabalho, relacionamos essa condição fraca com a condição geral de "satisfazer o Teorema de Borsuk-Ulam" (ou "satisfazer BUT") dada também pelos autores; apresentamos alguns exemplos; considerando G = T2 (toro), detalhamos a demonstração de um resultado que estabelece um critério... / Abstract: The classical Borsuk-Ulam Theorem states that: "If f : S n → IRn is any continuous map, then there exists a point x in S n such that f(x) = f(−x), or equivalently f(x) = f(A(x)), where S n denotes the n-dimensional unit sphere and A : S n → S n is the antipodal map". If we think of the Earth's surface as a sphere, the case n = 2 can be illustrated by saying that at every instant there is always a pair of antipodal points on the Earth's surface with the same temperature and barometric pressure (assuming that the temperature and pressure vary continuously in the surface). This work is based on the article "Some generalizations of Borsuk-Ulam Theorem" by Vendrúsculo, Desideri and Pergher (2011), [8], and has the main purpose of presenting a study of a weak version of the Borsuk-Ulam Theorem associated with topological groups. It is said that {(X, T); G}, where X is a topological space equipped with a free involution T and G is a topological group "satisfies a Weak version of the Borsuk-Ulam Theorem", abbreviatedly, "satisfies WBUT" if, given any continuous map f : X → Y, the set {x ∈ X; f(x) · f(T(x))−1 ∈ 2G} is non empty, where f(T(x))−1 is the symmetric of f(T(x)) in G and 2G = {g ∈ G; g = g −1 }. In this work, we relate this weak condition with the more general condition of "satisfying the Borsuk-Ulam Theorem" (or "satisfying BUT") also given by the authors; we present some examples; considering G = T 2 (torus), we detail the proof of a result that establishes an algebraic criterion for {(X, T); T 2 } satisfy the condition WBUT, and of a result that gives an equivalence between the weak version WBUT for triples {(S, T); T 2 } and the condition BUT for {(S, T); IR2 }, where S is a closed surface and T is a free involution on S. Finally, we present a topological invariant obtained from the WBUT version. Such invariant, defined ... / Mestre

O principal objetivo desta dissertacão é estudar a produtividade da compacidade enumerável em grupos topológicos. Vários contra-exemplos foram descritos. / The main aim of this thesis is to study the productivity of coutable compactness in topological groups. Several counterexamples were described.

Orientadores: Reginaldo Palazzo Júnior, Clarice Dias de Albuquerque / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-20T02:14:58Z (GMT). No. of bitstreams: 1 Cunha_MaiconHenrique_M.pdf: 692136 bytes, checksum: 3fe313a507d63bb6531e79d113a8cf55 (MD5) Previous issue date: 2012 / Resumo: Neste trabalho, apresentamos um estudo sobre Computação Quântica Topológica, uma área de pesquisa inserida na computação quântica que busca resolver o problema da decoerência na construção do computador quântico de uma maneira inovadora. Essa computação envolve aspectos de áreas distintas relacionadas a mecânica quântica: teoria de grupos, representação de grupo, anyons e outras. Por isso, uma fundamentação teórica básica nesses tópicos é necessária e será apresentada para embasar o modelo geral de Computação Quântica Topológica. O modelo de Fibonacci é um caso específico que será tratado com ênfase por ser o mais difundido e o único universal conhecido até o momento. Com o modelo de Fibonacci, construímos novas portas quânticas, cuja análise possibilitou conclusões e um refinamento no algoritmo existente para encontrar tais portas / Abstract: In this work, we present a study about Topological Quantum Computation, a research area included in quantum computation that seeks to solve the problem of decoherence in building a quantum computer according to an innovative way. This involves computing aspects of different areas related to quantum mechanics: group theory, group representation, anyons and others. Thus a basic theoretical foundation in these topics is necessary and will be presented to support the general model of Topological Quantum Computation. The Fibonacci model is a particular case, which will be discussed with emphasis, being the most widespread and the only universally known until this moment. With the Fibonacci model, we construct new quantum gates, whose analysis allowed a number of conclusions to be draw, as well as a refinement of the existing algorithm to find such ports / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Assumindo a existência de $\\mathfrak c$ ultrafiltros seletivos dois a dois incomparáveis (segundo a ordem de Rudin-Keisler) provamos que o grupo abeliano livre de cardinalidade $\\mathfrak c$ admite uma topologia de grupo enumeravelmente compacta com uma seqüência não trivial convergente. Sob as mesmas hipóteses, mostramos que um grupo topológico abeliano quase livre de torção $(G, +, \\tau)$ com $|G| = |\\tau| = \\mathfrak c$ admite uma topologia independente de $\\tau$ que o torna um grupo topológico e caracterizamos algebricamente os grupos abelianos de não torção que têm cardinalidade $\\mathfrak c$ e que admitem uma topologia de grupo enumeravelmente compacta (sem seqüências não triviais convergentes). Provamos, ainda, que o grupo abeliano livre de cardinalidade $\\mathfrak c$ admite uma topologia de grupo que torna seu quadrado enumeravelmente compacto e construímos um semigrupo de Wallace cujo quadrado é, também, enumeravelmente compacto. Por fim, assumindo a existência de $2^{\\mathfrak c}$ ultrafiltros seletivos, garantimos que se um grupo abeliano de não torção e cardinalidade $\\mathfrak c$ admite uma topologia de grupo enumeravelmente compacta, então o mesmo admite $2^{\\mathfrak c}$ topologias de grupo enumeravelmente compactas (duas a duas não homeomorfas). / Assuming the existence of $\\mathfrak c$ pairwise incomparable selective ultrafilters (according to the Rudin-Keisler ordering) we prove that the free abelian group of cardinality $\\mathfrak c$ admits a countably compact group topology that contains a non-trivial convergent sequence. Under the same hypothesis, we show that an abelian almost torsion-free topological group $(G, +, \\tau)$ with $|G| = |\\tau| = \\mathfrak c$ admits a group topology independent of $\\tau$ and we algebraically characterize the non-torsion abelian groups of cardinality $\\mathfrak c$ which admit a countably compact group topology (without non-trivial convergent sequences). We also prove that the free abelian group of cardinality $\\mathfrak c$ admits a group topology that makes its square countably compact and we construct a Wallace\'s semigroup whose square is countably compact. Finally, assuming the existence of $2^$ selective ultrafilters, we ensure that if a non-torsion abelian group of cardinality $\\mathfrak c$ admits a countably compact group topology, then it admits $2^$ (pairwise non-homeomorphic) countably compact group topologies.

Assumindo a existência de $\\mathfrak c$ ultrafiltros seletivos dois a dois incomparáveis (segundo a ordem de Rudin-Keisler) provamos que o grupo abeliano livre de cardinalidade $\\mathfrak c$ admite uma topologia de grupo enumeravelmente compacta com uma seqüência não trivial convergente. Sob as mesmas hipóteses, mostramos que um grupo topológico abeliano quase livre de torção $(G, +, \\tau)$ com $|G| = |\\tau| = \\mathfrak c$ admite uma topologia independente de $\\tau$ que o torna um grupo topológico e caracterizamos algebricamente os grupos abelianos de não torção que têm cardinalidade $\\mathfrak c$ e que admitem uma topologia de grupo enumeravelmente compacta (sem seqüências não triviais convergentes). Provamos, ainda, que o grupo abeliano livre de cardinalidade $\\mathfrak c$ admite uma topologia de grupo que torna seu quadrado enumeravelmente compacto e construímos um semigrupo de Wallace cujo quadrado é, também, enumeravelmente compacto. Por fim, assumindo a existência de $2^{\\mathfrak c}$ ultrafiltros seletivos, garantimos que se um grupo abeliano de não torção e cardinalidade $\\mathfrak c$ admite uma topologia de grupo enumeravelmente compacta, então o mesmo admite $2^{\\mathfrak c}$ topologias de grupo enumeravelmente compactas (duas a duas não homeomorfas). / Assuming the existence of $\\mathfrak c$ pairwise incomparable selective ultrafilters (according to the Rudin-Keisler ordering) we prove that the free abelian group of cardinality $\\mathfrak c$ admits a countably compact group topology that contains a non-trivial convergent sequence. Under the same hypothesis, we show that an abelian almost torsion-free topological group $(G, +, \\tau)$ with $|G| = |\\tau| = \\mathfrak c$ admits a group topology independent of $\\tau$ and we algebraically characterize the non-torsion abelian groups of cardinality $\\mathfrak c$ which admit a countably compact group topology (without non-trivial convergent sequences). We also prove that the free abelian group of cardinality $\\mathfrak c$ admits a group topology that makes its square countably compact and we construct a Wallace\'s semigroup whose square is countably compact. Finally, assuming the existence of $2^$ selective ultrafilters, we ensure that if a non-torsion abelian group of cardinality $\\mathfrak c$ admits a countably compact group topology, then it admits $2^$ (pairwise non-homeomorphic) countably compact group topologies.

Para grupos topológicos abelianos maximalmente casi periódicos (en el sentido de von Neumann) es sencillo describir su compactación de Bohr, bG. En este caso puede identificarse bG con el conjunto de homomorfismos del dual de G en el toro de dimensión 1. La topología que G hereda como subgrupo de bG es la topología de Bohr de G. Resulta que la topología de Bohr es una topología totalmente acotada generada por el grupo de caracteres continuos de G. Con ese punto de partida y, utilizando el concepto de grupos en dualidad introducido por Varopoulos, se estudian diversas propiedades topológicas para la topología débil de una dualidad. Se obtiene con ello una caracterización de la débil realcompacidad en términos similares a los obtenidos por otros autores para espacios de Banach, espacios vectoriales topológicos localmente convexos y grupos abelianos localmente compactos. Además se obtienen caracterizaciones para la realcompacidad hereditaria y la pseudocompacidad. Diversos autores han considerado también el problema de la preservación de la compacidad, así como de otras propiedades topológicas, al pasar a la topología de Bohr. En esta tesis se introduce una nueva clase de grupos, los g-grupos, que aglutina a muchas otras clases de grupos topológicos: los grupos abelianos localmente compactos, los grupos aditivos de espacios vectoriales topológicos y los grupos nucleares, entre otros. Para esta nueva clase se obtiene una caracterización de la preservación de la compacidad que engloba y unifica las aproximaciones obtenidas separadamente para cada una de las clases mencionadas anteriormente. El estudio anterior se particulariza para los grupos metrizables, consiguiendo nuevas caracterizaciones estrechamente relacionadas con el trabajo de van Douwen para grupos discretos. En particular, se obtiene una caracterización para los grupos aditivos de espacios de Banach y se muestra, con un ejemplo de Bourgain, que ésta díficilmente puede ser refinada.

Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-16T18:48:37Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T14:06:59Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T18:09:13Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T18:12:23Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-22T19:44:21Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T11:57:14Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T12:57:56Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T13:16:32Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T13:34:44Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T17:24:54Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-23T17:29:02Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T12:05:25Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T12:39:44Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T16:47:38Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-24T17:31:21Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T11:40:49Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T12:31:50Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T13:03:16Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-27T18:08:08Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T12:13:07Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:22:46Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:31:57Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T14:37:46Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Submitted by Mirela Cristina Marini null (mii_marini@hotmail.com) on 2017-11-28T19:04:28Z No. of bitstreams: 1 Dissertação- Mirela Marini.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Approved for entry into archive by Elza Mitiko Sato null (elzasato@ibilce.unesp.br) on 2017-11-30T17:48:32Z (GMT) No. of bitstreams: 1 marini_mc_me_sjrp.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) / Made available in DSpace on 2017-11-30T17:48:32Z (GMT). No. of bitstreams: 1 marini_mc_me_sjrp.pdf: 3119748 bytes, checksum: 9e6f062d94f6fdfb7d9cb0cfae289118 (MD5) Previous issue date: 2017-09-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O Teorema de Borsuk-Ulam clássico afirma que: “Se f : Sn → IRn é uma aplicação contínua, entãoexisteumponto x em Sn talque f(x) = f(−x), ouequivalentemente f(x) = f(A(x)), onde Sn indica a esfera unitária n-dimensional e A : Sn → Sn é a aplicação antipodal”. Se pensamos na superfície terrestre como uma esfera, o caso n = 2 pode ser ilustrado dizendo-se que em cada instante, existe sempre um par de pontos antipodais na superfície da Terra com mesma temperatura e pressão barométrica (supondo que a temperatura e a pressão variam continuamente na superfície). Este trabalho é baseado no artigo “Some generalizations of the Borsuk-Ulam Theorem” de Vendrúsculo, Desideri e Pergher (2011), [8], e tem como principal objetivo apresentar um estudo de uma versão fraca do Teorema de Borsuk-Ulam associada a grupos topológicos. Diz-se que {(X,T);G}, onde X é um espaço topológico equipado por uma involução livre T e G é um grupo topológico, “satisfaz uma versão fraca do Teorema de Borsuk-Ulam”, abreviadamente, “satisfaz WBUT”, se, para cada aplicação contínua f : X → G, temos que o conjunto {x ∈ X; f(x) · f(T(x))−1 ∈ 2G} é diferente do vazio, onde f(T(x))−1 é o simétrico de f(T(x)) em G e 2G = {g ∈ G; g = g−1}. Neste trabalho, relacionamos essa condição fraca com a condição geral de “satisfazer o Teorema de Borsuk-Ulam” (ou “satisfazer BUT”) dada também pelos autores; apresentamos alguns exemplos; considerando G = T2 (toro), detalhamos a demonstração de um resultado que estabelece um critério algébrico para que {(X,T);T2} satisfaça a condição WBUT e de um resultado que dá uma equivalência entre a versão fraca WBUT para triplas {(S,T);T2} e a condição BUT para {(S,T);IR2}, sendo S uma superfície fechada. Por fim, apresentamos um invariante topológico obtido da versão WBUT. Tal invariante, por nós definido, é similar ao obtido da condição BUT e apresentado pelos autores citados. / The classical Borsuk-Ulam Theorem states that: “If f : Sn → IRn is any continuous map, then there exists a point x in Sn such that f(x) = f(−x), or equivalently f(x) = f(A(x)), where Sn denotes the n-dimensional unit sphere and A : Sn → Sn is the antipodal map”. If we think of the Earth’s surface as a sphere, the case n = 2 can be illustrated by saying that at every instant there is always a pair of antipodal points on the Earth’s surface with the same temperature and barometric pressure (assuming that the temperature and pressure vary continuously in the surface). This work is based on the article “Some generalizations of Borsuk-Ulam Theorem” by Ven drúsculo, Desideri and Pergher (2011), [8], and has the main purpose of presenting a study of a weak version of the Borsuk-Ulam Theorem associated with topolog ical groups. It is said that {(X,T);G}, where X is a topological space equipped with a free involution T and G is a topological group “satisfies a Weak version of the Borsuk-Ulam Theorem”, abbreviatedly, “satisfies WBUT” if, given any continuous map f : X → Y , the set {x ∈ X; f(x) · f(T(x))−1 ∈ 2G} is non empty, where f(T(x))−1 is the symmetric of f(T(x)) in G and 2G = {g ∈ G; g = g−1}. In this work, we relate this weak condition with the more general condition of “satisfying the Borsuk-Ulam Theorem” (or “satisfying BUT”) also given by the authors; we present some examples; considering G = T2 (torus), we detail the proof of a result that establishes an algebraic criterion for {(X,T);T2} satisfy the condition WBUT, and of a result that gives an equivalence between the weak version WBUT for triples {(S,T);T2} and the condition BUT for {(S,T);IR2}, where S is a closed surface and T is a free involution on S. Finally, we present a topological invariant obtained from the WBUT version. Such invariant, defined by us, is similar to that obtained from the BUT condition and presented by the cited authors.

Orientador: Dessislava Hristova Kochloukova / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-13T12:02:14Z (GMT). No. of bitstreams: 1 Martin_MariaEugenia_M.pdf: 974097 bytes, checksum: 862be4d1ac3b05cc1a28ba59cf6c0460 (MD5) Previous issue date: 2009 / Resumo: Nesta dissertação discutimos propriedades homológicas de grupos discretos e grupos pro-p. Em particular trabalhamos com grupos abstratos de dualidade de Poincaré orientáveis de dimensão três e seu completamento pro-p. Os primeiros capítulos da dissertação incluem uma exposição sobre as propriedades homológicas básicas de grupos abstratos e grupos pro-p. Finalmente, descrevemos um resultado recente de [KZ], publicado em Transactions MAS ( 2008), que clássica quando o completamento pro-p de um grupo de dualidade de Poincaré orientável de dimensão três de um grupo pro-p de dualidade de Poincaré orientável de dimensão três / Abstract: In this dissertation we discuss homological properties of discrete groups and pro-p groups. In particular we work with groups of abstract of Poincaré duality of dimension three steerable and its pro-p completion. The first chapters of the dissertation include a presentation on the basic homological properties of abstract groups and pro-p groups. Finally, we describe a recent result of [KZ], published in Transactions AMS (2008), which ranks as the pro-p completion of a group of Poincare-steerable dual dimension of three is a group of pro-p duality of Poincare -steerable in three dimensions / Mestrado / Mestre em Matemática

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-20T17:04:33Z (GMT). No. of bitstreams: 1 Lima_IgordosSantos_D.pdf: 1446540 bytes, checksum: 1e68bfb627d234fa97739cd2e813b4a9 (MD5) Previous issue date: 2012 / Resumo: Neste trabalho, nos Teoremas Principais, damos condições suficientes para que o completamento pro-p de um grupo abstrato PDn seja virtualmente um grupo pro-p PDs para algum s ? n - 2 com n ? 4. Esse resultado é uma generalização do Teorema 3 em [K-2009]. Nossa prova é baseada em [K-2009] e nos resultados de A. A. Korenev [Ko-2004] e [Ko-2005]. Além disso, damos alguns exemplos de grupos que satisfazem as condições dos Teoremas Principais / Abstract: In this work we give in the Main Theorems suffiient conditions for that the pro- p completion of an abstract orientable PDn group to be virtually a pro-p PDs group for some s ? n - 2 with n ? 4. This result is a generalization of the Theorem 3 in [K-2009]. Our proof is based on [K-2009] and on the results of A. A. Korenev [Ko-2004] and [Ko-2005]. Furthermore we give some examples of groups that satisfy the conditions of the Main Theorems / Doutorado / Matematica / Doutor em Matemática