1
vote
1answer
108 views

Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?
7
votes
3answers
235 views

The cohomology group $H^{1}(GL_{2}(\mathbb{F}_{p}), M_{2}(\mathbb{F}_{p}))$

Let $M_{2}(\mathbb{F}_{p})$ be the vector space of 2$\times$2 matrices over the finite field $\mathbb{F}_{p}$ where $p$ is a prime number, and let $GL_{2}(\mathbb{F}_{p})$ be the group of invertible ...
9
votes
0answers
219 views

Non split extension isomorphic (as a group) to a split extension

$\def\Z{\mathbb{Z}}$ Let $A$ be a finite abelian group and $G$ a finite group acting on $A$. Then the extension $0 \to A \to E \to G \to 1$ is splits if and only if the corresponding $2$-cocycle is ...
8
votes
2answers
217 views

3-cocycle representatives for the dihedral group $D_{2n}$?

I am looking for a reference for a complete list of 3-cocycle representatives for $H^3(D_{2n},\mathbb{C}^\times)$, where $$ D_{2n}=\langle a, b\mid a^2=b^2=(ab)^n=e\rangle $$ is the dihedral group of ...
3
votes
2answers
283 views

n-cocycles of finite abelian groups from cohomology group

Question: Given a generic finite abelian group $G=\mathbb{Z}_{N^{(1)}} \times \cdots \times \mathbb{Z}_{N^{(k)}}$. (1) What is the explicit forms of its cohomology group (see my definition) in a ...
11
votes
1answer
242 views

Group cochains invariant under the action of the symmetric group

Let $G$ be a finite group and $A$ an abelian group. Recall the cochain groups $$ C^k = \{f: G^k \to A\} $$ and the coboundary map $$ \delta : C^k \to C^{k+1} $$ $$ (\delta f)(g_1, \ldots, g_{k+1}) ...
8
votes
1answer
212 views

Obstruction to extension of non-abelian groups - finite example?

Let $G$ be a non-abelian group, let $\Pi$ be a group, and let $\eta: \Pi\rightarrow Out(G)$ be a homomorphism, where $Out(G)$ is the group of automorphisms of G modulo the normal subgroup of inner ...
11
votes
1answer
222 views

Crossed modules and degree-3 group cohomology

It is well known (see e.g. K. Brown, "Cohomology of groups") that a degree-3 cohomology class of a group G with coefficients in a module A can be thought of as an equivalence class of crossed modules, ...
2
votes
0answers
305 views

Inseparable Galois Cohomology

First let me give a general form of my question, and then I'll give some motivation and a more specific version of it. Let $K/k$ be a Galois extension of fields with Galois group $G$, and let $X$ be ...
3
votes
2answers
669 views

A question about finite groups.

Let $k$ be a positive integer. Is it true that any finite group $H$ of cardinal $4k+2$ whose center contains an element $h$ of order $2$ is isomorphic to the direct product ...
5
votes
1answer
574 views

Classification of $p$-groups of order $p^n$ with rank $n-1$

Hello, i've been looking for a way to classify the non-trivial $p$-groups $G$ that live in an exact sequence of the form $ 0 \rightarrow \mathbb{Z}/p\mathbb{Z} \rightarrow G \rightarrow ...
12
votes
2answers
626 views

Is the following map from Z(G) x H^3(G, C*) --> H^2(G, C*) ever nontrivial?

Suppose that G is a finite group, then we have the following map f which takes an element z in the center of G and a 3-cohomology class w and returns a 2-cohomology class f(z,w) (for concreteness ...
0
votes
1answer
403 views

Must finite groups with isomorphic commutators and quotients be isomorphic?

Let G and H be finite groups. Let G' = [G,G] and H' = [H,H] be the corresponding derived groups (commutator subgroups) of G and H. I am looking for an example where G' is isomorphic to H' and G/G' is ...
8
votes
1answer
417 views

Cohomology of orthogonal and symplectic groups

Hello, in their book Cohomology of Finite Groups Adem and Milgram investigate the cohomology of the finite orthogonal and symplectic groups only in case $\mathbb{F}_2$. Let $p$ be a prime dividing ...
6
votes
2answers
437 views

Common Computations in Group Cohomology

Let G=A⋊B, where A and B are abelian, and of coprime order. It seems, from my computations (and correct me if I'm wrong), that Z1(Cp,Cq) is trivial, for p and q different primes. Meaning that ...