a tool used to compute invariants of group actions using methods from homology theory, such as invariants, coinvariants, extensions... Use with (homology-cohomology).

learn more… | top users | synonyms (1)

2
votes
0answers
44 views

The cohomology of $\mathrm{GL}_n$ over an algebraically closed field

How does one go about computing the cohomology groups $H^*(\mathrm{GL}_{\kern{0.1em}{m}}(\overline{\mathbb{F}}_p),M)$? I am particularly interested in the case when $M$ is an algebraic representation. ...
2
votes
0answers
22 views

Invariant cohomology for non-compact groups

Suppose I have a compact $G$-space $M$, and a differential form $\omega$ on $M$ with the property that $$ \forall g\in G\quad g\omega = \omega + d\lambda_g, \quad(*) $$ i.e. $g\omega$ is cohomologous ...
1
vote
0answers
13 views

Group cohomology classical exercise: Short exact sequence induces long exact sequence

This is probably so easy that I didn't find any other questions asking this exact question. Suppose that $1\to A\to B\to C\to 1$ is an exact sequence of $G$-modules. I can then easily prove that ...
1
vote
1answer
32 views

Direct limit of a direct system looking like a cochain complex of objects.

I would like to ask you about a special kind of direct systems $ (A_i, f_{i}^{j} )_{ i,j \in ( I , \leq ) } $ looking like a cochaîn complex $ (A_i , f_{i}^{j} )_{ i,j \in ( \mathbb{N}^* , \leq ) } $ ...
0
votes
0answers
11 views

Question on subgroup cohomology restricting proper, simplicial actions of an algebraic group

I have a question regarding an assertion made in p. 2 of these notes on Bruhat-Tits buildings. The question concerns the group $G_p=SL_n(\mathbb{Q}_p)$ and its subgroup $\mathbb{Z}^{n-1}$ (the ...
1
vote
0answers
29 views

constructing a universal cover from K(G,1) space

Let G be a torsion-free group and G' a group of finite index. Suppose G' has finite cohomological dimension. Then it has a finite-dimensional K(G',1) complex. Its universal cover X' is also ...
0
votes
0answers
26 views

If $G$ is cyclic of order $2$ show $|H^1(G,\mathbb{Z})|=2$.

Let $G$ be the cyclic group of order $2$ acting by inversion on $\mathbb{Z}$. Show $|H^1(G,\mathbb{Z})|=2$. A hint is provided: if $E=\mathbb{Z} \rtimes G$ then every element in $E - \mathbb{Z}$ has ...
3
votes
0answers
42 views

Homomorphisms from a $p$-group to $\mathbb{F}_p$

I'm doing a problem on group cohomology and have reduced it to the following: if $P$ is a $p$-group then $\textrm{Hom}(P,\mathbb{F}_p) \simeq P/\Phi(P)$ where $\Phi(P)$ is the Frattini subgroup of ...
0
votes
0answers
23 views

Doubt about the module of coinvariants

Suppose that $G$ is group, $R$ is a ring (commutative, associative with $1\neq0$) and $M$ is a left $RG-$módulo such that $M$ is free as a left $R-$module. Is it true that the module of coinvariants ...
1
vote
1answer
33 views

Group cohomology for $\mathbb{Z}[G]$-modules versus $k[G]$-modules.

I am trying to get familiar with group (Tate) cohomology. I am for instance reading Brown's Cohomology of Groups. Now something seems unclear to me What information do we hope to attain from studying ...
0
votes
1answer
36 views

Coefficients in Tate cohomology, mod-p Tate cohomology vs integral Tate cohomology

I am new to group cohomology and Tate cohomology. I have some questions in that regard. I have not yet understood exactly what information we hope to gain from the (Tate) cohomology modules. i) What ...
3
votes
1answer
40 views

Where can I found an explanation of group cohomology from the point of view of invariants?

I heard once that we can view group cohomology as the right derived functor quantifying precisely (i.e. by the usual long exact sequence) how much the functor of "taking the invariants" is not right ...
3
votes
2answers
36 views

Does H2 depends only on abelian quotient?

Consider a finite group $G$ and an abelian group $N$. Let $G$ act trivially on $N$. Is $H^{2}(G,N)\cong H^{2}(G^{ab},N)$? ($G^{ab}=G/[G,G]$ the abelianization of $G$) I don't get group cohomology so ...
0
votes
0answers
41 views

Group Homology with Coefficients in Chain Complex of trivial G-modules

I am reading through Kenneth Brown's Cohomology of Groups, and right now I am learning about spectral sequences. He seems use to some kind of "intuitive" idea of spectral sequences that I would very ...
0
votes
0answers
63 views

Existence of class modules for finite groups

I'm reading Cohomology of Number Fields by Neukirch et al. Let $G$ be a finite group. A $G$-module C is a class module if, for all subgroups $H \subset G$: 1) $H^1(H,C)=0$ 2) $H^2(H,C)$ is cyclic of ...
0
votes
1answer
20 views

stuck on proof of inflation restriction exact sequence in group cohomology

The following proof of the inflation-restriction exact sequence is taken from Milne's notes on class field theory. My question is: why does $\phi':G/H \to M$ actually take values in $M^H$? In other ...
2
votes
1answer
46 views

perfect groups with non-trivial group homology over rational coefficients

A group $G$ is perfect if $G=[G,G]$. For perfect groups, we know that the first group homology $H_1(G, \mathbb{Z})=G/[G,G]=0$. A group $G$ is called acyclic if its group homology $H_i(G, ...
4
votes
0answers
46 views

Can a group have the same 3-cocycles as one of its quotients?

Let $G$ be a finite group and let $Z^3(G,U(1))$ be the set (indeed, group under pointwise multiplication) of all normalized 3-cocycles $G\times G\times G\to U(1)$, with trivial action on $U(1)$. For ...
0
votes
0answers
32 views

universal coefficient theorem for mod p cohomology

In the book Algebraic Topology, Allen Hatcher, p. 266, Corollary 3A.6 (b): Question: I want to rewrite the above statement into a cohomology version. If I replace all homologies with cohomologies, ...
1
vote
0answers
31 views

When does the first cohomology group commute with inverse limit?

Let $M_i,i\in\mathbb{N}$ be an inverse system of continous, discrete G-modules and let $M=\varprojlim M_i$. Under what conditions on $M$ and $M_i$ do we have $\varprojlim H^1(G, M_i) \cong H^1(G, M)$? ...
3
votes
1answer
58 views

Absolute Galois group $\text{Gal}(\overline{K}/K)$ of any number field $K$ has a non-open subgroup of any prime index $p$?

Let $K$ be a number field, and let $p$ be a prime number. Does $G = \text{Gal}(\overline{K}/K)$ necessarily have a subgroup of index $p$ that is not open?
3
votes
1answer
44 views

Easy computational example of first cohomology group: Is this how we do it?

I'm an undergraduate student learning a little bit of group cohomology on my own. I'd like to compute a few examples of the low-dimensional cohomology groups in some special cases to get some ...
0
votes
0answers
12 views

Notation in group cohomology context

Let $M$ be a $G$-module and let $\psi\colon G\to M$ be a map. What is usually meant with the symbol $\psi_{\sigma}$ where $\sigma\in G$ in the group cohomology context? I am using the appendix from ...
0
votes
0answers
31 views

For any closed form $a$ with compact support, there exists a form $b$ w.c.s. in the unit ball such that $a-b$ is exact.

Let $\alpha$ be a closed (differential) $k$-form with compact support in $\mathbb{R}^{n}$. We want to prove that there exists a $l$-form $\beta$ with compact support in the unit ball of ...
5
votes
1answer
57 views

Let $G$ be a group. Why is $ \operatorname{Ext}_{\mathbb{Z}G}^1(\mathbb{Z},\mathbb{Z})\cong \operatorname{Hom}_{Grp}(G,\mathbb{Z})$?

Let $G$ be a Group and $\mathbb{Z}G$ is the ring of the formal sums $$\sum_{g\in G}n_gg$$ with multiplication $$(\sum_{g\in G}n_gg)(\sum_{h\in G}m_hh)=\sum_{g\in G}(\sum_{h\in ...
1
vote
0answers
31 views

How to prove $M\otimes_{\,G}A≅ {Hom}_{G}({Hom}_{\,\mathbb Z}(M,{\,\mathbb Z}),A)$?

Given that G is a finite group, M is a finitely generated right free G-module and A is a left G-module, there exists a natural G-isomorphism $\phi\ : M\otimes_{\,G}A\rightarrow ...
0
votes
1answer
50 views

Cartesian product of compact triangulated spaces

Let $X$ and $Y$ two compact triangulated spaces, I am trying to show that $X\times Y$ is also a compact (this is obvious) triangulated space and $$\chi(X\times Y)=\chi(X)\cdot\chi(Y)$$ Any tips on ...
0
votes
1answer
27 views

How to prove $\rm{Hom}_{\,\mathbb Z}(\mathbb{Z}G,A)^{S}\cong\rm{Hom}_{\,\mathbb Z}(\mathbb{Z}(G/S),A)$?

Given that S is a normal subgroup of a finite group G and A is a G-module, I have difficulty in proving $\rm{Hom}_{\,\mathbb Z}(\mathbb{Z}G,A)^{S}\cong\rm{Hom}_{\,\mathbb Z}(\mathbb{Z}(G/S),A)$. Would ...
1
vote
1answer
9 views

The boundary formula and cohomology of finite groups

I've a very basic notational question on group cohomology. Let $G$ be a finite group and $M$ a $G$-module. For $i\geq 0$, let $P_i=\mathbb Z[G^{i+1}]$ be the free $\mathbb Z$-module on $G^{i+1}$, made ...
1
vote
1answer
31 views

An odd expression appearing in proof that kernel and image of certain map on group ring $\mathbb Z[G]$ are equal

Let $G = \langle g \rangle$ be a cyclic group of order $n$. Consider the free ring $\mathbb Z[G]$ of all formal sums of elements from $G$ with coefficients from $\mathbb Z$, with multiplication given ...
1
vote
0answers
18 views

Locally cyclic group and homology

I would like to ask about the accuracy of the following statement. If $G$ is locally cyclic. Then the $n$-th homology group of $G$ $($H_n(G) $)$ (specially for $n=2$, $n=3$) is also locally cyclic. ...
1
vote
0answers
35 views

Dimension of $\text{H}^n(G, KG)$

I was reading the paper "The second cohomology group of $G$ with $Z_2G$ coefficients" by Thomas Farrell. I came across the following question which was asked by Serre in 1974: Let $G$ be a ...
7
votes
1answer
45 views

Augmentation ideal and the abelianization of $G$

On a qual problem recently, I came across the following fact: If $G$ is a finite group, and $\mathfrak{a}$ is the augmentation ideal of the integral group ring $\mathbb{Z}G$, then ...
3
votes
0answers
50 views

Historical notes on the Jordan-Hölder program

I'm looking for any material (books, articles..) documenting the historical process of the formulation, partial work and/or the actual stage of the Jordan-Hölder program. I'm not sure if there is any ...
1
vote
1answer
59 views

Calculation of Group Cohomology of $\mathbb{Z}/2\mathbb{Z}$ over $\mathbb{Z}$

I am trying to learn some group cohomology and I'm starting to get my head around the theory, but I find it hard to find some explicit examples of the calculation of group cohomology of some small ...
10
votes
2answers
238 views

Which groups act freely on $S^n$?

When $n$ is even, it is easy to classify groups which act freely on $S^n$ using degree theory: if $G$ acts on $S^n$, then associating to each element $g \in G$ the degree of the map obtained from ...
1
vote
0answers
35 views

Group cohomology as a right derived functor

In this Wiki page, it says that group cohomology can be defined as right derived functor of $F$, where $F(M)=M^G$. There are two different equivalent definition in the page, by explicit cochains and ...
3
votes
2answers
155 views

I want to show the group cohomology $H^{n>1}\left(F,\,M\right)$ vanishes whenever $F$ is free.

I want to show the group cohomology $H^{n>1}\left(F,\,M\right)$ vanishes whenever $F$ is free. I tried to show $\text{pdim}_{\mathbb{Z}\left[F\right]}\left(\mathbb{Z}\right)\le 1$, but we know ...
0
votes
0answers
21 views

Open subgroups $V\subset U$ of profinite group such that the index $[U:V]$ is divisible by $p$.

Let $G$ be a profinite group of $p$-cohomological dimension, $cd_p(G)\neq 0,\infty$. Consider an open subgroup $U\leq G$. Does there exist an open subgroup $V\leq U$ such that its index, $[U:V]$ is ...
4
votes
1answer
78 views

Bourbaki's definition of semidirect product

This recess I'm off to learn about group extensions and the cohomological methods to characterize those extensions, but I'm a bit stuck on wraping my head around all the new concepts (I just finished ...
1
vote
1answer
33 views

Determining if a (Lie algebra) central extension is trivial.

Given a central extension for a given Lie algebra, is there any simple way to check that it is/isn't isomorphic to the trivial extension ("simple" meaning, not as tedious [and daunting, for an algebra ...
1
vote
1answer
26 views

Reference for a result

A friend of mine told me that the cohomology of $\pi_1(M)$ was isomorphic to the cohomology of the manifold $M$. Is that true (maybe there are some hypothesis) ? Does someone know a reference for this ...
0
votes
1answer
19 views

$G$ acts $\rm{Hom}_{\,\mathbb Z}(\mathbb{Z}G,A)$

Let $A$ be a $G$-module where the action $G$ on $A$ is trivial. Then also $G$ acts on $\rm{Hom}_{\,\mathbb Z}(\mathbb{Z}G,A)$ such that $g\cdot f(x):=f(xg)$. On the other hand, we know that ...
0
votes
1answer
35 views

Reference (or proof) of: classifying map $u\colon M \to K(\pi,1)$ induces $H^1(\pi_1(M);\mathbb{Z}/2)\cong H^1(M; \mathbb{Z}/2)$

I'm try to understanding a survey chapter in Angeloni - Metzler -Sieradski "Two dimensional Homotopy and combinatorial group theory" namely the one about Stable classification of $4$-manifold (see ...
4
votes
0answers
50 views

Unramified cocycles and the Selmer group of an ellptic curve

In Silverman's book on elliptic curves, he gives a procedure to compute the Selmer group of elliptic curve $E$ relative to an isogeny $\phi:E\to E'$. I am confused about one step in the discussion. ...
0
votes
1answer
57 views

Third cohomology group of abelian groups

What is the third cohomology group $H^3(C_n,\mathbb{Q}/\mathbb{Z})$ of the cyclic group $C_n$ of order $n$? How can I calculate the third cohomology group of finite abelian group $A$ with ...
1
vote
1answer
32 views

Poincaré Duality as a $G$-morphism

In Brown's Cohomology of Groups book, at page 211 there is the following statement (Prop. 8.2): Let $Y$ be a compact $d$-dimensional $K(G,1)$-manifold (possibly with boundary). Let $X$ be its ...
1
vote
1answer
45 views

Why are projective representations of a group classified by the second cohomology group?

I'm reading about the classification of bosonic SPT's, and I came across this statement: projective representations, where $v(g_1)v(g_2)=\alpha(g_1,g_2)v(g_1g_2)$, $v(g_1)$ being the transformation ...
0
votes
1answer
45 views

Difference between $\mathbb{Z} G$-module and $G$-module

I am studying Group Cohomology, but I am a little confused about $\mathbb{Z} G$-module and $G$-module. Some text uses the $G$-module for group cohomology, but I thought group cohomology of $G$ is ...
0
votes
2answers
63 views

Compute the first group cohomology with trivial $G$-modules

This is the exercise 6.1.5 in Weibel's book. Let $G$ be any group and $A$ be a trivial $G$-module. Show that $H^1(G;A)\cong\hom(G,A)\cong\hom(G/[G,G],A)$ In the book, $H^*(G;A)$ is defined to be ...