All Questions
71 questions
33
votes
3
answers
6k
views
(co)homology of symmetric groups
Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...
- 1,589
19
votes
1
answer
512
views
Is the map $\mathrm H^4(S_{24}) \to \mathrm H^4(M_{24})$ surjective?
The group $S_{24}$ of permutations of $24$ things has fourth integral cohomology $\mathrm H^4(S_{24};\mathbb Z) \cong \mathbb Z/2 \oplus \mathbb Z/2 \oplus \mathbb Z/12$. According to Sikiric and ...
- 54.6k
19
votes
0
answers
604
views
How is this group theoretic construct called?
Let $G$ be a finite group, $S\subset G$ a generating set, $|g| = |g|_S = $ word length with respect to $S$. Define the "defect" of $g,h$ to be
$$\psi(g,h) = |g|+|h|-|gh|$$
Then $\psi:G\times G \...
user6671
17
votes
1
answer
575
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, ...
- 12.8k
16
votes
1
answer
1k
views
Cohomology of central extensions of groups
Let G be a central extension of a finite group H by $Z/2$. I need an explicit description of the differentials $d_2$ and $d_3$ in the Lyndon-Hochschild-Serre spectral sequence which converges to the ...
- 1,579
15
votes
5
answers
3k
views
Tate Cohomology via stable categories
Situation
Let $G$ be a finite group and provide $G\text{-mod} := {\mathbb Z}G\text{-mod}$ with the Frobenius structure of ${\mathbb Z}$-split short exact sequences. Denote by $\underline{G\text{-mod}}...
- 2,756
15
votes
1
answer
461
views
H_3 of SL(n,Z) and SL(n,F_p)
Can anyone tell me what $H_3(SL_n(\mathbb{Z});\mathbb{Z})$ and $H_3(SL_n(\mathbb{F}_p);\mathbb{Z})$ are? It is easy to find references for $H_1$ and $H_2$, but it turns out that I need $H_3$ as well. ...
- 151
14
votes
2
answers
927
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 ...
- 5,425
14
votes
0
answers
347
views
What is the mathematical name for the anomaly for an action of a group on a lattice conformal field theory?
Suppose $V$ is a (bosonic) chiral conformal field theory which is "holomorphic" in the sense that its category of vertex modules is trivial. (The definition of "chiral conformal field theory" might be ...
- 54.6k
13
votes
2
answers
795
views
Which finite groups have low-degree essential cohomology?
Let $G$ be a finite group, $A$ some coefficients (e.g. $A = \mathbb{F}_2$ or $\mathbb{Z}$), and write $\mathrm{H}^\bullet_{\mathrm{gp}}(G; A)$ for the (ordinary) group cohomology of $G$ with ...
- 54.6k
13
votes
2
answers
737
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 let'...
- 28.1k
13
votes
0
answers
586
views
Finite groups inside an infinite group with the same homology
Suppose we have a triple of groups $G,H,K$ satisfying the following conditions:
$G$ and $H$ are finite groups and $K$ is an infinite group.
there exist two monomorphisms $G \rightarrow K \leftarrow H$...
- 1,974
12
votes
0
answers
2k
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 ...
- 1,196
10
votes
0
answers
134
views
Is there a strictly coassociative resolution of polynomial growth, for a finite group?
Let $G$ be a finite group and $k$ a field of characteristic $p$. It is well known, thanks to the work of Quillen, that the trivial $kG$-module $k$ has a projective resolution of polynomial growth. To ...
- 16.2k
9
votes
2
answers
167
views
Coboundary matrix of bar resolution for group cohomology: do the elementary divisors always divide $|G|$?
Consider the coboundary matrix $C^1(G, \mathbb{Z}) \to C^2(G, \mathbb{Z})$ of the normalized bar resolution of $G$ with coefficients in the trivial $\mathbb{Z}G$-module $\mathbb{Z}$. That is, thinking ...
- 3,230
9
votes
1
answer
308
views
How small can the support of a nontrivial $\mathbb F_p$-cocycle on $C_p$ be?
Let $p$ be a prime, and let $\phi : C_p^n \to \mathbb F_p$ be an $\mathbb F_p$-valued $n$-cocycle on $C_p$ (the cyclic group of order $p$) which is not an $n$-coboundary, i.e. $\phi$ represents a ...
- 64k
8
votes
0
answers
128
views
What are the stable cohomology classes of the "orthogonal groups" of finite abelian groups?
Let $A$ be a finite abelian group, and equip it with a nondegenerate symmetric bilinear form $\langle,\rangle : A \times A \to \mathrm{U}(1)$. Then you can reasonably talk about the "orthogonal ...
- 54.6k
8
votes
0
answers
238
views
Is there a finite group with nontrivial $H^2$ but vanishing $H^4$, $H^5$, and $H^6$?
Is there a finite group $G$ such that the group cohomology $\mathrm{H}^2_{\mathrm{gp}}(G; \mathbb{Z}/2)$ is nontrivial but $\mathrm{H}^4_{\mathrm{gp}}(G; \mathbb{Z}/2)$, $\mathrm{H}^5_{\mathrm{gp}}(G;...
- 54.6k
7
votes
2
answers
663
views
Cohomology of $\operatorname{GL}_3(\mathbb{F}_2)$
I’m wondering what is known about the cohomology of $\operatorname{GL}_3(\mathbb{Z}_2)$, the general linear group of $3\times3$ matrices over the finite field $\mathbb{Z}_2$. There are results in ...
- 545
7
votes
2
answers
494
views
How does the Steenrod algebra act on $\mathrm{H}^\bullet(p^{1+2}_+, \mathbb{F}_p)$?
Let $p$ be an odd prime. The $\mathbb F_p$ cohomology of the cyclic group of order $p$ is well-known: $\mathrm{H}^\bullet(C_p, \mathbb F_p) = \mathbb F_p[\xi,x]$ where $\xi$ has degree 1, $x$ has ...
- 54.6k
7
votes
1
answer
376
views
When is an almost simple group a split extension of its socle?
Here an almost simple group is a finite group whose socle (product of all minimal normal subgroups) is a nonabelian simple group. As an extension of its socle, an almost simple group could be split or ...
- 767
7
votes
1
answer
701
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 (\mathbb{Z}...
- 1,269
7
votes
0
answers
141
views
Small modules over finite group with large cohomology
Looking at this Example of group cohomology not annihilated by exponent of $G$? I stumbled upon one question I couldn't solve (probably because it's hard), so I post it here.
Using Lyndon resolvent, ...
- 4,600
7
votes
0
answers
229
views
Computation of $H^2(S_n,\mathbb{Z}/2\mathbb{Z})$
Do you have a nice modern reference where I could find the computation of $H^2(S_n,\mathbb{Z}/2\mathbb{Z})$, where the action is trivial ?
I have looked at the very few books on cohomology of groups ...
- 1,766
6
votes
2
answers
271
views
Group homology for a metacyclic group
Let $G$ be a finite group, and let $M$ be a finitely generated $G$-module,
that is, a finitely generated abelian group on which $G$ acts.
We work with the first homology group
$$ H_1(G,M).$$
For any ...
- 14.2k
6
votes
1
answer
652
views
Why do we say the Fitting subgroup/generalized Fitting subgroup control the structure of a group?
I’m learning the Fitting subgroup these days. I’m interested in this topic and particularly in the role that it plays in the structure of groups. Many people on MSE mentioned that the Fitting subgroup/...
user121195
6
votes
2
answers
399
views
A finite group that splits and does not split
Is there an example of a finite group $A$ that acts on a finite group $C$ irreducibly (that is, $C$ has no proper nontrivial $A$-invariant subgroup)
such that there exists an epimorphism $$\tau \colon ...
- 11.3k
6
votes
1
answer
579
views
first group cohomology for the standard representation of $S_n$ over $\mathbb{F}_2$
Let $g \geq 2$ be an integer and consider the symmetric group $S_n$ where $n = 2g+1$ or $n = 2g+2$ as a subgroup of the symplectic group $\mathrm{Sp}_{2g}(\mathbb{F}_2)$ via the standard ...
- 1,298
6
votes
1
answer
219
views
Cohomology of finite $p$-groups over integers in local fields
Let $p$ be a prime, $G$ be a finite group of order $p^a$. Let $M$ be a $\mathbb{Z}[G]$-module. Then $H^n(G, M)$ is annihilated by $p^a$ for all $n \geq 1$ (see e.g. Brown, Corollary III.10.2).
In ...
- 435
6
votes
1
answer
312
views
Is group cohomology with the inversion action order two?
Let $\mathbb{Z}^\text{inv}$ denote the $\mathbb{Z}/2$-module defined by the inversion action on $\mathbb{Z}$. Let $G_0$ be a finite group that acts trivially on $\mathbb{Z}^\text{inv}$. Then one can ...
- 1,209
6
votes
0
answers
194
views
What is the value of the fourth cohomology class of $\mathrm{Co}_0$ induced by the 24-dimensional representation?
The group $\mathrm{Co}_0$ has a 24-dimensional module. This induces a map $\mathrm H^4(O(24),\mathbb Z) \to \mathrm H^4(\mathrm{Co}_0,\mathbb Z)$. Has this map been computed? Has the right hand side ...
- 54.6k
5
votes
2
answers
430
views
Cohomology of the adjoint representation of $\mathrm{SL}_2(k)$
Let $k$ be a finite field. Do we always have $H^1(\operatorname{PSL}_2(k), k^3) = 0$, where $\operatorname{PSL}_2(k)$ acts on $k^3$ via the adjoint representation (= conjugation action on trace zero ...
- 37k
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
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
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
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
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 ...
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