Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
In mathematics, group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group G in an associated G-module M to elucidate the properties of the group.
3
votes
Accepted
Cohomological variety in case that Sylow subgroup is elementary abelian
Yes. There is a stronger result too, which predates Quillen's theorem: if $G$ is a finite group whose Sylow $p$-subgroup $P$ is abelian, then the restriction map $H^*(G;\mathbb{F}_p)\rightarrow H^*(P …
10
votes
Accepted
Finite domination and Poincaré duality spaces
Corollary 5.4.2 of Wall's article `Poincaré complexes I', Ann. Math. 86 (1967) 213-245 gives examples of 4-dimensional Poincaré complexes $X$ with fundamental group of prime order $p\geq 23$ for which …
11
votes
Accepted
Non-finitely presented FP groups with cohomological dimension $2$
The Bestvina-Brady construction of non-finitely presented groups of type FP produces groups of cohomological dimension two. Bestvina-Brady groups are parametrized by finite flag simplicial complexes. …
2
votes
Kan–Thurston theorem and R-completion
The Kan-Thurston construction depends not just on the homotopy type of $X$, but it depends very heavily on the exact choice of cell structure for $X$. However, it does have some naturality properties …
1
vote
Which groups have undetectable third U(1)-cohomology?
Inspired by YCor's remark I realized that every finite abelian $p$-group $G$ of rank three will have essential elements in $H^3(G;U(1))$. I think that this works for $p=2$ as well, but here's an argu …
6
votes
Is there a finitely presented group with infinite homology over $\mathbb{Q}$?
This answers the other part of your question, not answered by Thompson's group. For each $i\geq 3$ there is a finitely presented group $G_i$ with the property that $H_i(G_i\mathbb{Q})$ is infinite di …
4
votes
Accepted
Higher cohomology for trivial module for finite groups of Lie type
Lots is known about the cross-characteristic case: it is the same characteristic case that is the difficult one. The method used was introduced by Quillen, who worked out the full answer for $GL_n$. …
9
votes
How many non-isomorphic extensions with kernel $S^1$ and quotient cyclic of order $p$?
There is a short exact sequence of coefficients $\mathbb{Z}\rightarrow \mathbb{R}\rightarrow \mathbb{R}/\mathbb{Z}=S^1$. This gives you a long exact sequence of cohomology groups. For a finite group …
8
votes
Cohomology of simple finite groups remembers the group?
This is a remark rather than an answer to your question. If you remove the word `simple' it is easy to find such pairs of finite groups. The first examples I learned were (I think) constructed by At …
6
votes
Accepted
Cohomology of $\mathbb Z_4$ via the Lyndon-Hochschild-Serre spectral sequence
The action of the quotient on the cohomology groups of the normal subgroup is the trivial action, because the normal subgroup is central. (Think of group cohomology as a functor of the group: the con …
1
vote
On the group homology
Groups with $H_i(G;\mathbb{Z})=0$ for all $i>0$ are called acyclic groups. There are lots of them. As Mariano Suarez-Alvarez says, any perfect locally-free group is acyclic. There are also finitely …
8
votes
(co)homology of symmetric groups
Here are some comments, including an answer to (3). Firstly, if you want an actual explicit computation of the mod-2 cohomology of symmetric groups $S_n$ for as large an $n$ as possible, you should l …