Skip to main content
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
Results tagged with
Search options not deleted user 120914

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.

6 votes

Algorithm for group cohomology

While I do not have direct experience with using it myself, I believe there are several packages out there for GAP that might do the trick for you, especially the HAP package. See especially 6: Homolo …
Carl-Fredrik Nyberg Brodda's user avatar
11 votes
Accepted

Cohomology of $\operatorname{GL}_3(\mathbb{F}_2)$

As you mention in your update, you have a general answer, but if you want a concrete answer for the low-dimensional integral cohomology of $G = \operatorname{GL}(3,2)$ (or any other finite group!), yo …
Carl-Fredrik Nyberg Brodda's user avatar
15 votes
Accepted

Explanation for $\chi(\operatorname{SL}_2(\mathbb{Z})) = -1/12$ with zeta function

(Expanding my comment into an answer) It is not a coincidence. Relating the Euler characteristic of certain arithmetic groups to the Zeta function is a theorem due to Harder [1] from 1971. It is expan …
Carl-Fredrik Nyberg Brodda's user avatar
5 votes
Accepted

Cohomology of $S$-arithmetic groups with trivial coefficients such as $H^n(\rm{PGL}_2(\mathb...

This is a hard problem in general. When $N$ is not prime, then even the first homology of $\operatorname{PSL}_2(\mathbf{Z}[\frac{1}{N}])$ is non-trivial to compute (cf. Corollary 4.4 of [1]), but I re …
Carl-Fredrik Nyberg Brodda's user avatar