1
vote
1answer
37 views

First cohomology group of direct products

Let $p$ be a prime number and H be a finite group with $|H|=p-1$ and consider $\varphi: H \times Z_{p^k} \rightarrow Aut(Z_{p^k})$ as a non-trivial action of $H \times Z_{p^k}$ on $Z_{p^k}$ such that ...
1
vote
0answers
50 views

how is the jordan-holder theorem used in conjunction with short exact sequences to construct groups of certain order?

I am an undergraduate and have been asked to explain how simple groups can be used to construct groups of finite order. I started with reading about the extension problem in group theory and from ...
3
votes
1answer
55 views

On which groups can homomorphisms be defined subgroup-locally?

Let $G$ be a group and suppose that $G$ is the set-theoretic union of a collection $\mathcal U$ of subgroups. I will call such a collection a "covering" of $G$. Suppose that for each $L \in \mathcal ...
0
votes
1answer
42 views

Cohomology Group

I am new to the area of cohomology, and I have got stuck on the definition of the abelian group $C_n(G, N)$ of $n$-cochains of $G$ with coefficients in $N$. I quote here from Anthony W. Knapp's ...
3
votes
1answer
56 views

Why do we have that Hom is an exact functor in the situation described below?

We are given a finite $p$-group $G$ and a finite $G$-module $M$ such that $pM=0$ (therefore $M$ is in particular a $\mathbb{F}_p$-vector space). In addition we have an arbitrary $G$-module $N$ which ...
6
votes
1answer
57 views

Image of the Brauer group under a field extension

For $k$ a field, let $Br(k)$ - the Brauer group of $k$ - denote the group of finite-dimensional central simple algebras over $k$, modulo Morita equivalence $(A\equiv B\iff \exists m, n(A\otimes_k ...
1
vote
0answers
29 views

What is explicit isomorphism between $H^2(G,\mathbb{Q}/\mathbb{Z})$ and $H_2(G,\mathbb{Z})$?

Let $G$ be a finite group. Then its Schur multiplier is the second cohomology group $H^2(G,\mathbb{Q}/\mathbb{Z})$, which is isomorphic to the second homology group $H_2(G,\mathbb{Z})$ (Proof can be ...
2
votes
1answer
85 views

Understanding the Bockstein homomorphism in group cohomology

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $G$ be a finite group. In group cohomology, the Bockstein homomorphism is the connecting homomorphism ...
1
vote
1answer
27 views

Show that $H^{\prime} \cap A$ is a homomorphic image of $M(G)$

Let $H$ be a group and $A$ be a central subgroup of $H$ of finite index. Let $G =H/A$. Show that $H^{\prime} \cap A$ is a homomorphic image of $M(G)$. Here $H^{\prime}$ denotes the commutator ...
5
votes
1answer
94 views

How do you compute group cohomology in practice?

If you have a finite group $G$ and a finite $G$-module $K$, and you need to know $H^1(G,K)$ or $H^2(G,K)$, how do you do it? Do you use a computer algebra system? (If so, which one?) Do you use a ...
1
vote
1answer
37 views

Property of G-modules involving the invariant elements under the G-action

I am stuck at some basic fact I would like to prove. I tried proving it using $G-$orbits and cardinalities, but without success. Let $p$ be some prime number, $G$ be a finite $p-$group and $A$ a ...
2
votes
0answers
47 views

Transgression homomorphism on cohomology

I have one confusion about the transgression homomorphism which I found in two different books. I am unable to show that they really are same. The first description of transgression homomorphism I ...
0
votes
1answer
76 views

understanding into algebraic terms difference between homology and cohomology

my previous question understand quotient group was related to understanding of quotient group,i dont need to know too much detailed in group theore,just some part of algebraic topology,especially ...
1
vote
0answers
28 views

Why is it sufficient to prove for $H^0$

I am reading the corestriction homomorphism on cohomology. To prove a proposition (for example the composition of corestriction and restrcition is the multiplication by the index), it says that it is ...
0
votes
0answers
18 views

Show that $con_H^g$ is the identity map

Let $G$ be a group,$H$ a subgroup of $G$ and $A$ be $G$-module. Let $g \in G$ and $H^g=g^{-1}Hg$. Let $Z^2(G,A)$ be the set of $2$-cocycles. Given $f \in Z^2(H,A)$, let $f^g \in Z^2(H^g,A)$ be defined ...
4
votes
1answer
61 views

Show that image of $res$ lies in $H^n(H,A)^{G/H}$

Let $G$ and $G^{\prime}$ be groups, $A$ and $A^{\prime}$ be $G$-module and $G^{\prime}$-module respectively, $C^n(G,A)$ be set of all maps from $G \times \cdots \times G$ ($n$ times) to $A$, $d_n ...
2
votes
0answers
59 views

Hochschild Serre Spectral sequence

I am reading Hochschild Serre Spectral sequence from Group Theory I by M Suzuki Page 213. I will be thankful to you if you make me understand following points to me. Following is the sequence $0 ...
0
votes
0answers
26 views

Problem with cohomology (II)

Let $G$ be a group and $K$ be subgroup of $G$, Let $A$ be $G$ module. Let $X=\{X_n\}$ be free resolution of $\mathbb{Z}$. Let $\delta$ represents collectively the homomorphism induced in Hom sequence ...
0
votes
1answer
46 views

Problem with cohomology (I)

I have some doubts regarding cohomology. As title suggests I will ask these one by one. Let $G$ be a group and $A$ be $G$-module. Let $C^n(G,A)$ denote the set of all maps from $G \times \cdots ...
7
votes
1answer
86 views

Finite generation of Tate cohomology groups

Let $G$ be a finite group, and let $F$ be a complete resolution for $G$. In other words, $F$ is an acyclic chain complex of projective $\mathbb{Z}G$-modules together with a map ...
3
votes
1answer
79 views

Extensions of $\mathbb{Z}_n$ by $\mathbb{Z}$

Given that $H^2(\mathbb{Z}_n,\mathbb{Z})=\mathbb{Z}_n$, it follows that up to equivalence there should be $n$ extensions of $\mathbb{Z}_n$ by $\mathbb{Z}$, one for each cohomology class. I'd like to ...
7
votes
1answer
132 views

Computing the action of $S_3$ on $H^n(\mathbb{Z}_3,\mathbb{Z})$

Let $G=S_3$ and let $H$ be the Sylow $3$-subgroup in $G$. If $\mathbb{Z}$ is the trivial module, then it can be shown that $$H^n(H,\mathbb{Z})=\begin{cases}\mathbb{Z}&n=0\\0&n\text{ ...
3
votes
1answer
153 views

Topics of Group Theory Required to Understand Betti Numbers

I am studying Group Theory. I made sure I have a problem at hand, as part of the motivation for my study. I have chosen the problem as being able to understand as well as compute Betti Numbers where ...
1
vote
0answers
51 views

Explanation of notations

I was reading Binary icosahedral group in Wikipedia. The author uses $<2,3,5>$ and $(2,3,5)$ to denote the groups. And the Coxeter group of type $H_4$ is denoted by $[3,3,5]$. Could anyone ...
3
votes
1answer
96 views

Sufficient condition for a direct limit of abelian groups to be infinitely generated

I have the following setup. The CW-complexes $\Gamma_n$ are equipped with maps $\gamma_n\colon\Gamma_{n+1}\rightarrow\Gamma_{n}$ and it is known that the rank of their first cohomology groups is ...
4
votes
1answer
96 views

Order of the first cohomology group and subgroups

Let $M$ be a $G$-module and $H$ a subgroup of $G$. Is $\# H^{1}(H, M) < \# H^{1}(G, M)$?
3
votes
0answers
93 views

A few questions about nonabelian cohomology of finite groups.

I apologize in advance if these questions are broad or basic. I tried to read about them at the Wikipedia, but everything is written in the language of category theory, in which I have had no formal ...
3
votes
0answers
177 views

short exact sequence - split, as a semidirect product, with some cohomology

I've looked at several s.e.s. examples and I feel I am quite close but here is a question I am still a little confused on. Let $E$ be a group and $A$ an abelian normal subgroup s.t. have an exact ...
0
votes
1answer
254 views

Simple example of a short exact sequence of groups

I am new to this and would like to understand $$0 \overset{a0}{\to} B \overset{a1}{\to} A \overset{a2}{\to} A/B \overset{a3}{\to} 0, $$ where $B \subset A$ and they are both Abelian groups. Also maybe ...
3
votes
0answers
158 views

The first cohomology of group

I would like to ask if G is a group of order $p^4 (p\neq 2)$ as form $C_{p^3}\rtimes C_p$ (a semidirect product of cyclic group of order $p^3$ by a group of order $p$). Then can we obtain the first ...
1
vote
2answers
183 views

cohomology of a finite cyclic group

I apologize if this is a duplicate. I don't know enough about group cohomology to know if this is just a special case of an earlier post with the same title. Let $G=\langle\sigma\rangle$ where ...
1
vote
1answer
364 views

Rank of a cohomology group, Betti numbers.

How is the rank of a cohomology group computed and what does it convey? I am trying to understand the concept behind betti numbers in a simplicial homology. Edited with details: Given a set of ...
6
votes
1answer
347 views

Torsion-free virtually-Z is Z

It is well known that a torsion-free group which is virtually free must be free, by works of Serre, Stallings, Swan... Is there a simple cohomological proof of the fact that a torsion-free group ...