# Tag Info

Accepted

### Where should I search for computations of group cohomology rings of not-too-complicated finite groups?

Simon King and David Green maintain a computer calculated computation of the mod p cohmology of many finite $p$-groups ('order at most 128, of all but 6 groups of order 243, and of some sporadic ...

### $H^4$ of the Monster

In arXiv:1707.08388, I calculate that the cohomology class you described has order 24 and that it is not a characteristic class in the ordinary sense.
Accepted

Accepted

### Acyclic aspherical spaces with acyclic fundamental groups

Yes, such things exist. Take any finitely presented infinite acyclic group $G$, for example, Higman's group. It is a theorem by Kervaire (''Smooth homology spheres and their fundamental groups'') ...

### Do there exist acyclic simple groups of arbitrarily large cardinality?

I just realized this is indeed, as Neil Strickland and Tom Goodwillie predicted, not hard, thanks to the fact that a directed union of simple groups is simple. Since homology commutes with direct ...

Accepted

### Groups all of whose extensions are split

Proposition. Given a group $G$, this happens (every exact sequence $1\to G\to H\to H/G\to 1$ splits) iff $G$ has a trivial center and $1\to G\to \mathrm{Aut}(G)\to\mathrm{Out}(G)\to 1$ splits. Lemma: ...
Accepted

### Relation between the cohomology group of a curve and the cohomology group of its jacobian

$\def\Alb{\text{Alb}}\def\Pic{\text{Pic}}\def\CC{\mathbb{C}}\def\ZZ{\mathbb{Z}}\def\RR{\mathbb{R}}\def\cO{\mathcal{O}}$There are two abelian varieties associated to a smooth projective connected $n$-...
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  from 1971. It is ...
Accepted

### The term $H^1(N,A)^{G/N}$ in the inflation-restriction exact sequence

You do not need LHS spectral sequence for this action. The functors $H^*(N,-)$ are the derived functors of $(-)^N:G\text{-mod}\rightarrow G/N\text{-mod}$, so they will carry a structure of $G/N$-...
### First Galois cohomology of Weil restriction of $\mathbb{G}_m$
One can do much better: it is not necessary to assume $L/K$ is Galois (merely separable is sufficient). And in fact one can formulate the result in a manner which works beyond that of fields, working ...