3
votes
0answers
53 views

Central extensions of elementary abelian p-groups

Given an elementary abelian $p$-group $E$, we can consider $E$ as a trivial $E$-module; my first question is : How can one compute the rank of of the cohomology group $\operatorname{H}^n(E,E)$, $n ...
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 ...
5
votes
1answer
59 views

Reference request: Introduction to Finite Group Cohomology

I don't know anything about group cohomology and I'd like to. What is the best text to learn this subject? I'd prefer as soft an introduction as possible - that is, lots of motivation, lots of ...
1
vote
1answer
61 views

Cohomology of finite p-groups

Given a finite abelian $p$-group $A$ acted on by a finite $p$-group $G$. Under the assumption $\operatorname{H}^1(G,A_1)=0$, where $A_1$ is the set of elements of $A$ having order at most $p$, what ...
7
votes
1answer
82 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 ...
1
vote
2answers
93 views

The norm map in group cohomology is an isomorphism if $M$ is a projective $G$-module

This is exercise III$.1.1(c)$ in Brown's "Cohomology of Groups." Let $G$ be a finite group, $M$ a $G$-module, and $\overline{N}:M_G\to M^G$ the norm map defined by $[m]\to Nm$, where $N=\sum_{g\in ...
4
votes
2answers
106 views

Cohomology of finite groups with finite coefficients

I'm wondering if the group cohomology of a finite group $G$ can be made nontrivial with a nice choice of a finite $G$-module M. In other words, given a finite group $G$ and a number $n$, does there ...
0
votes
0answers
69 views

Extensions of elementary abelian p-groups by themselves.

How many distinct extensions of $C^k_p$ by $C^l_p$ are there where $C^n_p$ is elementary abelian of order $p^n$, p a prime?
2
votes
1answer
57 views

Non vanishing of group cohomology

Let $G$ be a finite group, then $H^n(G,\mathbb{Z})\neq 0$ for infinitely many $n$. This is not hard to see for cyclic groups. Can we prove this fact algebraically, could anyone provide a reference? ...
5
votes
2answers
87 views

Are homomorphisms into PGL related to the Schur multiplier?

I've been trying to understand homomorphisms from a finite group $G$ into $\operatorname{PGL}(n,R)$ for $n$ a positive integer, and $R$ a commutative ring with 1, usually a field. I had been under ...
3
votes
1answer
134 views

Finite groups such that $H^1(G,M)=0$ for any simple $G$-module $M$

I'm trying to understand for which finite groups $G$ the augmentation ideal of $\mathbb{F}_2G$ is generated by a single element over $\mathbb{F}_2G$. I'm reading a paper with a result that implies ...
22
votes
2answers
521 views

What does the group ring $\mathbb{Z}[G]$ of a finite group know about $G$?

The group algebra $k[G]$ of a finite group $G$ over a field $k$ knows little about $G$ most of the time; if $k$ has characteristic prime to $|G|$ and contains every $|G|^{th}$ root of unity, then ...
2
votes
1answer
77 views

Are these maps group homomorphisms?

Let $G$ be a finite group, $M$ a trivial $G$-module and let $f:G \times G \to M$ be a 2-cocycle. Question: Are the following maps $f_1,f_2$ group homomorphisms ? $$f_1: G \to M,\; g \mapsto ...
81
votes
1answer
2k views

Is there a characterization of groups with the property $\exists N \unlhd G : \not \exists H \leq G\: \text{ s.t. } \:H\cong G/N$?

A common mistake for beginning group theory students is the belief that a quotient of a group $G$ is necessarily isomorphic to a subgroup of $G$. Is there a characterization for groups for which this ...
3
votes
0answers
77 views

Equality in commutator subgroup

I will start by apologizing if this questions seems twisted. I am reading the paper Cohomology theory of groups with a single defining relation (Lyndon, $1950$) and the question comes from page $659$ ...
3
votes
0answers
157 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 ...
7
votes
1answer
404 views

Calculating the group co-homology of the symmetric group $S_3$ with integer coefficients.

I have been trying for a while to make sense of Ex V.3.5 & Ex III.10.1 in Brown's book 'Co-homology of Groups': Calculate the Co-homology of $S_3$ with co-efficients in $\mathbb{Z}$, possibly ...
4
votes
1answer
465 views

Group cohomology of finite groups

I wonder if the group cohomology of a finite group $G$ with coefficients in $\mathbb{Z}$ is finite. This statement may be too strong. I am interested in, for instance, dihedral group. $$ ...
2
votes
1answer
73 views

Ring structure of non-modular group cohomology

I know if $k$ is a field such that $char(k)$ divides $|G|$ (a finite group), then finding the ring structure on $H^\ast(G,k)$ can be very, very hard. But what about when $k=\mathbb{Z}$? Is the ...
8
votes
1answer
152 views

All possible extensions of $S_3$ by $\mathbb{Z}$?

Write $S_3$ for the symmetric group on 3 letters. The question: What are the possible extensions of $S_3$ by $\mathbb{Z}$ (up to equivalence)? (To avoid ambiguity, by an extension of $G''$ by ...
4
votes
1answer
471 views

Exercises in Group Cohomology

I'm interested in finding a textbook to learn group cohomology, a book that contains a lot of examples and also a lot of good exercises to test my understanding. I would appreciate some feedback. ...