All Questions
Tagged with finite-groups group-cohomology
101 questions
5
votes
1
answer
292
views
Extension of base field for modules of groups and cohomology [duplicate]
Let $G$ be a group and let $K/k$ be a field extension. Suppose that $V$ is a $kG$-module, and let $V_K = K \otimes_k V$ be the $KG$-module given by changing the base field.
Is it true that $H^n(G,V_K) ...
- 884
5
votes
1
answer
311
views
Projective representations of a finite abelian group
Projective representations of a group $G$ are classified by the second group cohomology $H^2(G,U(1))$. If $G$ is finite and abelian, it is isomorphic to the direct product of cyclic groups
$$
G\cong ...
- 813
5
votes
1
answer
618
views
Non-vanishing of the Tate-Shafarevich kernel in group cohomology
Let $G$ be a finite group. Let $M$ be a finite $G$-module (a finite abelian group with an action of $G$).
We consider a special kind of $G$-modules; in particular, our $M$ is a finite dimensional ...
- 14.2k
5
votes
2
answers
1k
views
symmetric 2-cocycle / many projective representations
Let $G$ be a finite group, $k$ the field of complex numbers.
Are there (cohomologically nontrivial) group 2-cocycles $\sigma\in Z^2(G,k^\times)$ such that for all $g,h\in G$:
$$\sigma(g,h)=\...
- 1,846
5
votes
1
answer
209
views
3-cocycles on outer automorphism groups
Given a group $G$, the outer automorphism group $Out(G)$ acts on the center by $Z(G)$ by lifting an outer automorphism to an actual automorphism and evaluating this on elements of $Z(G)$. What is ...
- 4,519
5
votes
1
answer
146
views
Generalization of a lemma of Livne
Let $H$ be a finite $2$-group. Let $N_{4}(H)$ be the subgroup generated by fourth powers. Let $H_{4}$ be the last term in the short exact sequence $1\rightarrow N_4(H) \rightarrow H \rightarrow H_{4} \...
- 2,429
5
votes
1
answer
428
views
Centralizers in the universal central extensions of the alternating groups?
For $n \ge 8$ the Schur multiplier $H_2(BA_n, \mathbb{Z})$ (where $A_n$ denotes the alternating group) stabilizes to $\mathbb{Z}_2$, and hence there is a universal central extension $\widetilde{A}_n$ ...
- 118k
5
votes
1
answer
384
views
Which groups have undetectable third U(1)-cohomology?
Let $G$ be a finite group. A categorical Schur detector for $G$ is a set $\mathcal{S}$ of proper subgroups $S \subsetneq G$ such that the total restriction map
$$ \mathrm{rest}_{\mathcal{S}} : \mathrm{...
- 54.6k
5
votes
0
answers
205
views
Can modular representation theory be used to prove Sylow's existence theorem?
Edit 20/12: I added a more precise question at the bottom of the post.
Given a finite group $G$ and a prime $p$, we want to prove that $G$ has a $p$-subgroup $P$ such that $|G:P|$ is not divisible by $...
- 1,433
5
votes
0
answers
330
views
Cocycle condition for 2-groups
I know that if $\omega_d(g_1, \ldots, g_d)$ is an d-cocycle characterized by $H^d(G,U(1))$, it satisfies the co-cycle condition
$(d\omega_d)(g_1, \ldots, g_{d+1}) = g_1.\omega_d(g_2,\ldots,g_{d+1}) + ...
- 113
4
votes
2
answers
791
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 $H=(\mathbb{Z}/2\mathbb{Z})\...
- 2,140
4
votes
1
answer
318
views
Can $\text{Aut}(G)$ be extended to contain $G$?
Let $G$ be a group (finite, say) with center $Z$. The automorphism group $\text{Aut}(G)$ sits in a short exact sequence
$$ 1 \to G/Z \to \text{Aut}(G) \to \text{Out}(G) \to 1. $$
So when $Z\neq 1$, as ...
- 815
4
votes
1
answer
243
views
Second cohomology of the adjoint representation
Let $p$ be a prime and let $M_p$ be the $\mathrm{GL}_2(\mathbb{F}_p)$-module of $2 \times 2$ matrices over $\mathbb{F}_p$ with trace $0$ (the action is by conjugation).
Is it true that for $p$ large ...
- 11.3k
4
votes
1
answer
759
views
cohomology ring of symmetric group of order $3$
Let $S_3$ be the symmetric group of order $3$. What is the cohomology ring
$$
H^*(S_3;\mathbb{Z})?$$
My attempt: I want to use mathematical induction on $n$ for $S_n$.
For $n=1$, $S_1$ is trivial. ...
- 1,990
4
votes
2
answers
436
views
Is $1\neq a\in Z(2.E_7(q))\cong Z_2$ a square element in $2.E_7(q)$?
When $q$ is a power of some odd prime, is $1\neq a\in Z(2.E_7(q))\cong Z_2$ a square element in $2.E_7(q)$?
A Lie algebra is a vector space $L$ over a field $K$ on which a product operation $[xy]$ is ...
- 271
4
votes
1
answer
672
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 ...
- 1,199
4
votes
1
answer
189
views
cohomology of finite groups of lie type with coefficients in the adjoint module
Let $\mathbb G$ be a connected, semisimple, split group over a finite field $\mathbb F_q$ and let $G = \mathbb G(\mathbb F_q)$. Let $\mathfrak g$ be its Lie algebra, an $\mathbb F_q$-vector space with ...
- 391
4
votes
0
answers
98
views
Is there a cohomological interpretation of the bilinear form arising from Clifford theory?
For this question all groups are finite, and representations are over $\mathbb{C}$. The setup is that we have $N$ a normal subgroup of $G$, with abelian quotient $A$, and an irrep $V$ of $N$ that is ...
- 1,949
4
votes
0
answers
131
views
When is the restriction map $res:H^2(G,U(1))\to H^2(Z_p\times Z_p,U(1))$ not the zero map?
Consider $G$ to be a finite group with non-trivial Schur Multipler $H^2(G,U(1))$, where $G$ acts trivially on the circle group $U(1)$.
By Example of a Schur-nontrivial group with no abelian subgroup ...
4
votes
0
answers
76
views
Minimal rank of a permutation resolution of a $G$-lattice
Let $G$ be a finite group.
By a $G$-lattice I mean a finitely generated free abelian group $L$ with an action of $G$.
One says that $L$ is a permutation lattice if $L$ has a $\mathbb{Z}$-basis ...
- 14.2k
3
votes
2
answers
601
views
mod p cohomology ring of alternating groups
Let $A_n$ be the alternating group of $\{1,2,\cdots,n\}$.
(1). What is the cohomology ring
$$
H^*(A_4;\mathbb{Z}/3)
$$
and its Steenrod operation $P^i$'s?
(2). Are there general results about the ...
- 2,223
3
votes
1
answer
264
views
Extensions of a simple group by an elementary abelian $p$-group
Let $V$ be an elementary abelian $p$-group of size $p^n$. Let $G$ be a finite group with $V\unlhd G$ such that $G/V=H$ is simple (like $\operatorname{PSL}(m,q)$ with $q$ a power of $p$ or any other ...
- 385
3
votes
1
answer
254
views
Computation of group homology $H_2 ((\mathbb{Z}/3\mathbb{Z}) \rtimes (\mathbb{Z}/4\mathbb{Z}),\mathbb{Z})$
In my research I need to compute the group homology of the dicyclic group Dic3, which is a semi-direct product of $\mathbb{Z}/3\mathbb{Z}$ and $\mathbb{Z}/4\mathbb{Z}$, and let's denote it by $G$, we ...
- 2,971
3
votes
1
answer
301
views
The torsion subgroup of the coinvariants for a $G$-module
Let $G$ be a finite group and $M$ be a finitely generated $G$-module,
that is, a finitely generated abelian group on which $G$ acts.
Consider the functor
$$ (G,M)\rightsquigarrow F(G,M):= (M_G)_{\rm ...
- 14.2k
3
votes
1
answer
475
views
Group cohomology of $S_3$ in terms of its Sylow subgroups
I am trying to understand $H^*(S_3, M)$ in terms of it's Sylow $p$ subgroups. From III.10.2 and III.10.3 in Brown we know that
\begin{equation}H^n(G,M) = \bigoplus_p H^n(H,M)^G\end{equation}
where $p$...
- 71
3
votes
0
answers
87
views
Stem extensions and quotients of Schur covers
Suppose that $G$ is a finite group, and that $\Gamma$ is a central extension of $G$ by $A$, that is
$$ 1 \rightarrow A \rightarrow \Gamma \rightarrow G \rightarrow 1$$
with the image of $A$ contained ...
- 1,300
3
votes
0
answers
162
views
a universal module for group cohomology?
I noticed the following funny fact when studying cohomology of finite groups. I explain it in the case of $H^2$ but it generalizes.
Consider a two-cocycle $a\in Z^2(G,A)$ where $A$ is a left G-module....
- 6,123
2
votes
1
answer
194
views
Number of generators for the Schur multiplier of a finite group
Let $G$ be a finite group, and let $M(G)=H_2(G,\mathbb{Z})$ be its Schur multiplier. Are there any known bounds on the number of generators of $M(G)$ in terms of $G$? For example, if $G$ is abelian of ...
- 5,039
2
votes
1
answer
319
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?
- 533
2
votes
1
answer
356
views
Non-trivial example of $H^2(G,M)$ where $M$ is a non-trivial G-representation
Let $G$ be a finite group; denote by $\mathbb{Z}_2$ the cyclic group of order $2$.
Let $\pi: G \rightarrow \mathbb{Z}_2$ be a non-trivial group homomorphism.
Let M be the $G$ representation $\mathbb{Z}...
- 229
2
votes
1
answer
119
views
Find $a$ satisfying $x \cup_1 y = \delta a$ when $x,y \in Z^2(G,\mathbb{Z}_2)$
Let $G$ be a finite group. Let $x,y \in Z^2(G,\mathbb{Z}_2)$ be 2-cocycles. Find $a \in C^2(G,\mathbb{Z}_2)$ such that
\begin{align}
x \cup_1 y = \delta a.
\end{align}
Is there a general solution? Is ...
- 229
2
votes
1
answer
83
views
How to claculate the $T$-stable subgroup of second cohomology group
Let $G=\langle x,y,z,w \mid [y,x]=w^p=z, x^{p^2}=y^p=z^p=1 \rangle$ be a group, where $[u,v]=u^{-1}v^{-1}uv$, $p$ is a prime and the commutator which do not appear is 1.
Let $N=\langle y,w \rangle \...
- 265
2
votes
0
answers
99
views
Cohomological characterization of when $f: \pi_1(\Sigma_g) \to P$ factors through $F_g$ when $P$ is perfect
In previous questions on this site such as this one, it has been asked when a map $\varphi \colon G \to H$ of finitely generated groups factors through a free quotient meaning that there exists a ...
- 71
2
votes
0
answers
134
views
Automorphisms of (nilpotent) groups : torsion cokernel on the abelianisation implies torsion cokernel on the center?
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\End{End}\DeclareMathOperator\GL{GL}\DeclareMathOperator\Z{Z}\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\Span{Span}\DeclareMathOperator\ker{ker}\...
2
votes
0
answers
91
views
Splitting of $\mathbb{Z}/p\to E\to (\mathbb{Z}/p)^n$ in cohomological terms
Let $d>1$ be an odd integer. Given a simplicial set $X$ and $[\gamma]\in H^2(X,\mathbb{Z}/d)$, there exists a fibration $N\mathbb{Z}/d\to E\to X$, with $$E= X_\gamma:=N\mathbb{Z}/d\times_{\gamma} X....
- 245
2
votes
0
answers
122
views
Different definitions of p-fusion and Mislin's theorem
Currently, I am trying to understand and compute homology of finite groups with coefficients in a field of positive characteristic. So, I was searching for some results that could reduce this problem (...
2
votes
0
answers
118
views
Split extension of finite group and Sylow subgroup by abelian $p$-group
Let $p$ be a prime and let $A$ be an abelian normal $p$-subgroup of a finite group $G$. Hence, for any Sylow $p$-subgroup $H$ of $G$, it holds that $A$ is contained in $H$ and so $A$ is a normal ...
- 279
2
votes
0
answers
103
views
Lattices with trivial coinvariants for finite groups
Let $G$ be a finite group. A $\mathbb{Z}G$-lattice is a $\mathbb{Z}G$-module that is (as abelian group) a free abelian group of finite rank.
Question: Is there a finite group $G$ and a $\mathbb{Z}...
- 2,160
2
votes
0
answers
100
views
Alternating bihomomorphism is skew of 2-cocycle - relative situation
Let $G$ be a finite abelian group. It is well-known that every alternating bihomomorphism $\Omega:G\times G \to \mathbb{C}^\times$ (i.e. $\Omega(g,g)=1$) arises as the skew $\kappa/\kappa^T$ of a 2-...
- 1,813
2
votes
0
answers
345
views
Ring structure on cohomology of groups
Assume that $G$ is a finite group and that $A$ is an arbitrary $G$-module. Then we know that can define the cohomology groups of $G$ with coefficients in $A$ in the usual way and we denote the latter ...
- 441
1
vote
1
answer
100
views
Cohomological variety in case that Sylow subgroup is elementary abelian
Let $G$ be a finite group, $p$ a prime number, and $k$ an algebraically closed field of characteristic $p$. Then we can consider the cohomological variety of $G$, namely the maximal spectrum $V_G$ of ...
- 1,077
1
vote
1
answer
376
views
Two questions on the Schur multiplier of groups of order $p^4$
I tried to find a reference for the computation of the Schur multiplier of groups of order $p^4$.
The case in which $p=2$ is well known, see e.g. Table 1 at http://pages.bangor.ac.uk/~mas010/pdffiles/...
- 308
1
vote
0
answers
146
views
Cohomology of the classifying space of a semidirect product, and some specific examples with cyclic groups
Let $G$ and $A$ be finite abelian groups and $\rho :G \rightarrow \text{Aut}(G)$ a representation of $G$. We can form the semidirect product $A\rtimes _{\rho} G$. Just to agree on the notation this is ...
- 813
1
vote
0
answers
268
views
On normalized 2-cocycle
Let $G$ be a group acts trivially on an abelian group $A$. Let
$\varepsilon $ be a normalized 2-cocycle in $ Z^{2}(G,A)$. Assume
that $G=H_{1} \times H_{2}$ and let $\varepsilon_{1}=res_{H_{1}\times
...
- 181
1
vote
0
answers
109
views
Symmetric analogue of "alternating bihomomorphism is skew of 2-cocycle" theorem
Let $G$ be a finite abelian group. It is well-known that every alternating bihomomorphism $\Omega:G\times G \to \mathbb{C}^\times$ arises as the skew $\kappa/\kappa^T$ of a 2-cocycle $\kappa \in Z^2(G,...
- 1,813
1
vote
0
answers
263
views
When can a 2-cocycle on a subgroup can be extended?
This question is based on a question when is the restriction $H^2(G,\mathbb{C}^*)\to H^2(K,\mathbb{C}^*)$ surjective?
I am asking this as a new question as I already asked that user but got no ...
- 265
1
vote
0
answers
207
views
Golod Shafarevich Inequality and Inequalities among higher Cohomology groups
As a consequence of Golod- Shafarevich, we get an inequality between second cohomology group of a $p$-group with coefficients in $F_p$ and the first cohomology group of a $p$-group with coefficients ...
- 493
0
votes
1
answer
487
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 ...
- 685
0
votes
1
answer
201
views
Are these two natural cohomology classes of a manifold constructed from a 1-cochain and a group extension equal?
Let $X$ be a manifold, $G$ and $A$ finite abelian groups and $\epsilon \in H^2(G,A)$ a group cohomology class (for the moment I am assuming there is no action of $G$ on $A$). Given $\alpha \in H^1(X,G)...
- 813
0
votes
0
answers
57
views
Shapiro's lemma for group derivations [duplicate]
Let $G$ be a finite group, let $H$ be a subgroup of $G$, let $W$ be an $H$-module and let $V$ be the $G$-module induced from $W$. Shapiro's lemma says that
$H^1(G,V)\cong H^1(H,W)$.
I was wondering if ...
- 934