Neste trabalho inicialmente estudamos o rank da co-homologia do espaço dos pontos fixos de uma \'Z IND.p\' - ação semilivre sobre espaços X~p \' S POT. n\' x \'S POT.n\' e X~p \'S POT.n\' x \'S POT.n\' x \'S POT.n\' , com n>0. Em seguida, estudamos uma extensão para ações de p-grupos sobre espaços X~p \'S POT.n\' X \'S POT.m\', com 0< n \'< OU =\' m. Como parte do material utilizado demos uma descrição do diferencial d1 de uma seqüência espectral que converge para co-homologia equivariante de Tate, bem como uma versão da Fórmula de Künneth para a co-homologia equivariante de Tate. Na parte final, motivado pelo problemas de descrição de espaços de órbita de ações de grupos infinito, calculamos as co-homologias dos grupos virtualmente cíclicos (\'Z IND.a\' X| \' Z IND. b\' )X| Z e [\'Z POT.a\' X|(\'Z IND.b\' X \'Q IND. 2 POT.i\') ]X| Z / In this work is studied the rank of the fixed point set of a semifree action on spaces X~p \'S POT.n\' X \'S POT.n\' and X~p \'S POT.n\' X \'S POT.n\' X \'S POT.n\' , with n>0. We also consider the extension of the result for actions of p-groups on spaces X~p \'SPOT.n\' X \' S POT.m\' , with 0<n \'< OR =\' m. As result of the techniques used, we give a description of the differential d1 of a spectral sequence that converges to Tate equivariant cohomology, as well a version of the Künneth Formule to Tate equivariant cohomology. At the end, motivated by the space form problem for infinite groups we compute the cohomology of the virtually cyclic groups (\'Z IND. a\' X| \'Z IND. b\' )X| Z and [\'Z IND.a\' X|(\'Z IND. b\' X \'Q IND2 POT. i\' )] X| Z

Neste trabalho inicialmente estudamos o rank da co-homologia do espaço dos pontos fixos de uma \'Z IND.p\' - ação semilivre sobre espaços X~p \' S POT. n\' x \'S POT.n\' e X~p \'S POT.n\' x \'S POT.n\' x \'S POT.n\' , com n>0. Em seguida, estudamos uma extensão para ações de p-grupos sobre espaços X~p \'S POT.n\' X \'S POT.m\', com 0< n \'< OU =\' m. Como parte do material utilizado demos uma descrição do diferencial d1 de uma seqüência espectral que converge para co-homologia equivariante de Tate, bem como uma versão da Fórmula de Künneth para a co-homologia equivariante de Tate. Na parte final, motivado pelo problemas de descrição de espaços de órbita de ações de grupos infinito, calculamos as co-homologias dos grupos virtualmente cíclicos (\'Z IND.a\' X| \' Z IND. b\' )X| Z e [\'Z POT.a\' X|(\'Z IND.b\' X \'Q IND. 2 POT.i\') ]X| Z / In this work is studied the rank of the fixed point set of a semifree action on spaces X~p \'S POT.n\' X \'S POT.n\' and X~p \'S POT.n\' X \'S POT.n\' X \'S POT.n\' , with n>0. We also consider the extension of the result for actions of p-groups on spaces X~p \'SPOT.n\' X \' S POT.m\' , with 0<n \'< OR =\' m. As result of the techniques used, we give a description of the differential d1 of a spectral sequence that converges to Tate equivariant cohomology, as well a version of the Künneth Formule to Tate equivariant cohomology. At the end, motivated by the space form problem for infinite groups we compute the cohomology of the virtually cyclic groups (\'Z IND. a\' X| \'Z IND. b\' )X| Z and [\'Z IND.a\' X|(\'Z IND. b\' X \'Q IND2 POT. i\' )] X| Z

Dado um grupo G, a definição dos grupos de cohomologia com coeficientes em um ZG-módulo M podem ser dadas usando as técnicas usuais da Álgebra Homológica, que garantem a existência de resoluções projetivas P de Z como um ZG-módulo trivial, a equivalência entre resoluções distintas etc. Podemos também construir o produto cup em cohomologia, cuja definição depende de uma aproximação da diagonal para a resolução projetiva P. Entretanto, o cálculo explicito de tais resoluções e dos grupos de cohomologia pode ser bastante difícil na prática, e ainda mais difícil a obtenção de uma aproximação da diagonal. Nesta tese, obteremos resoluções livres e aproximações da diagonal para os grupos fundamentais das superfícies que são espaços K(G,1) e também para o grupo fundamental de fibrados do toro com base S^1, bem como a estrutura de anel de cohomologia de tais grupos. Ainda, para certos grupos virtualmente cíclicos G, obteremos o anel de cohomologia calculando diretamente uma resolução livre e uma aproximação da diagonal, ou então usando a sequência espectral de Lyndon-Hochschild-Serre. A motivação para o estudo da primeira família de grupos vem do fato de representarem variedades de dimensão 2 e 3, e da segunda família por ser constituída de grupos que atuam em esferas de homotopia. / Given a group G, a definition for its cohomology groups with coefficients in a given ZG-module M can be given using the standard techniques of Homological Algebra, that ensure the existence of projective resolutions P of Z as a trivial ZG-module, the equivalence between two such resolutions etc . We can also construct the cup product, whose definition depends on a diagonal approximation for a given projective resolution P. However, the explicit computation of such resolutions and of the cohomology groups may be very hard in practice, and even worse may be the task of constructing a diagonal approximation. In this thesis, we obtain free resolutions and diagonal approximations for the fundamental groups of surfaces that are K(G,1) spaces and for the fundamental group of the torus bundle with the circle as the base space, as well as the structure of the cohomology ring of these groups. Also, for some virtually cyclic groups, we obtain the cohomology ring by an explicit computation of a free resolution and a diagonal approximation, or by the Lyndon-Hochschild-Serre spectral sequence. The motivation for the study of the first family of groups comes from the fact that such groups represent manifolds of dimension 2 and 3, and the groups of the second family act on homotopy spheres.

Dado um grupo G, a definição dos grupos de cohomologia com coeficientes em um ZG-módulo M podem ser dadas usando as técnicas usuais da Álgebra Homológica, que garantem a existência de resoluções projetivas P de Z como um ZG-módulo trivial, a equivalência entre resoluções distintas etc. Podemos também construir o produto cup em cohomologia, cuja definição depende de uma aproximação da diagonal para a resolução projetiva P. Entretanto, o cálculo explicito de tais resoluções e dos grupos de cohomologia pode ser bastante difícil na prática, e ainda mais difícil a obtenção de uma aproximação da diagonal. Nesta tese, obteremos resoluções livres e aproximações da diagonal para os grupos fundamentais das superfícies que são espaços K(G,1) e também para o grupo fundamental de fibrados do toro com base S^1, bem como a estrutura de anel de cohomologia de tais grupos. Ainda, para certos grupos virtualmente cíclicos G, obteremos o anel de cohomologia calculando diretamente uma resolução livre e uma aproximação da diagonal, ou então usando a sequência espectral de Lyndon-Hochschild-Serre. A motivação para o estudo da primeira família de grupos vem do fato de representarem variedades de dimensão 2 e 3, e da segunda família por ser constituída de grupos que atuam em esferas de homotopia. / Given a group G, a definition for its cohomology groups with coefficients in a given ZG-module M can be given using the standard techniques of Homological Algebra, that ensure the existence of projective resolutions P of Z as a trivial ZG-module, the equivalence between two such resolutions etc . We can also construct the cup product, whose definition depends on a diagonal approximation for a given projective resolution P. However, the explicit computation of such resolutions and of the cohomology groups may be very hard in practice, and even worse may be the task of constructing a diagonal approximation. In this thesis, we obtain free resolutions and diagonal approximations for the fundamental groups of surfaces that are K(G,1) spaces and for the fundamental group of the torus bundle with the circle as the base space, as well as the structure of the cohomology ring of these groups. Also, for some virtually cyclic groups, we obtain the cohomology ring by an explicit computation of a free resolution and a diagonal approximation, or by the Lyndon-Hochschild-Serre spectral sequence. The motivation for the study of the first family of groups comes from the fact that such groups represent manifolds of dimension 2 and 3, and the groups of the second family act on homotopy spheres.