Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 151 (Group Cohomology)

Let $P_{\bullet }\to \mathbb{Z}$ be a projective resolution of the trivial $\mathbb{Z}G$-module. The projective-resolution definition of group cohomology isThis is independent, up to a natural isomorphism, of the chosen projective resolution.

The degreewise natural isomorphismscommute with the coboundary maps. Taking cohomology proves that group cohomology commutes with finite direct sums:

Now restrict $P_{\bullet }$ from $G$ to a subgroup $K$. The group ring $\mathbb{Z}G$ is free as a $\mathbb{Z}K$-module, so restriction carries free modules to free modules and projective modules to projective modules. Thus the restricted complex is a projective resolution of the trivial $\mathbb{Z}K$-module. For the coinduced module $Y={\mathrm{Hom}}_{\mathbb{Z}K}(\mathbb{Z}G,X)$, the Hom functor adjunction for a coinduced module gives an isomorphism of cochain complexesExplicitly, a map $F$ is sent to $p\mapsto F(p)(1)$; the inverse sends a $\mathbb{Z}K$-linear map $a$ to $p\mapsto (r\mapsto a(rp))$. Taking cohomology proves Shapiro's lemma:

For the conjugation module of a group ring $N=\mathbb{Z}{G}_{\mathrm{conj}}$, the basis $G$ is the disjoint union of its conjugacy classes. Hence $N$ is the direct sum of the integral permutation modules on those classes. The class of a representative $g_i$ is the transitive $G$-set $G/C_G(g_i)$, where $C_G(g_i)$ is its centralizer. Since $G$ is finite, this permutation module is both induced and coinduced from the trivial $C_G(g_i)$-module $\mathbb{Z}$. Applying group cohomology commutes with finite direct sums and Shapiro's lemma yields the group cohomology of a conjugation module:

The symmetric group $S_3$ has three conjugacy classes, represented by the identity, a transposition, and a three-cycle. Their centralizers are respectivelyFor any finite group $L$ acting trivially on $\mathbb{Z}$,because a group homomorphism sends an element of finite order to an element of finite order, while the additive group of the integers contains no nonzero torsion elements. ThereforeThe periodic resolution of a finite cyclic group alternates the maps $t-1$ and $1+t+\cdots +t^{m-1}$. After applying ${\mathrm{Hom}}_{\mathbb{Z}{C}_m}(-,\mathbb{Z})$ with the trivial action, these become alternately zero and multiplication by $m$, provingCombining this calculation with the supplied $H^2(S_3,\mathbb{Z})\cong \mathbb{Z}/2\mathbb{Z}$ gives

The Schur multiplier of a group $G$ isthe second group homology group with trivial integral coefficients. If $G\cong F/R$ is a free presentation, Hopf's formula states that

Write $I_F=\ker (\mathbb{Z}F\to \mathbb{Z})$ for the augmentation ideal. The presentation relation sequence iswhere $r[R,R]\mapsto 1\otimes (r-1)$. If $F$ is free on a set $S$, then $I_F$ is free as a left $\mathbb{Z}F$-module on the elements $s-1$, so the two modules immediately preceding $\mathbb{Z}$ are free $\mathbb{Z}G$-modules. Resolving the relation module $R/[R,R]$ by free modules and splicing produces a free resolution of $\mathbb{Z}$.

Apply the right-exact functor $\mathbb{Z}{\otimes }_{\mathbb{Z}G}-$ to this partial resolution. Its degree-two homology is the kernel ofThe coinvariant module on the left is $R/[F,R]$. On the right, the map $f-1\mapsto f[F,F]$ identifies the coinvariants with the abelianization $F/[F,F]$. The displayed map is induced by the inclusion $R\hookrightarrow F$, so its kernel isThis proves Hopf's formula.

For an abelian group $A$, the Schur multiplier of an abelian group is $M(A)\cong {\bigwedge }^{2}A$. One way to see the direct-sum rule is the degree-two Künneth theorem:A cyclic group has zero second integral group homology, whileConsequently

For $a,b\in I$, the square-zero ideal condition givesThus the square-zero unit subgroup $1+I$ is abelian, andis a group isomorphism from the additive group of $I$.

Use the specified ring isomorphism $R/I\cong \mathbb{Z}G$. For $x\in \mathbb{Z}G$, choose a lift $r\in R$ and define $x\cdot a=ra$ for $a\in I$. Two lifts differ by an element of $I$, whose product with $a$ vanishes, so this is well defined. Right multiplication is handled identically. The two actions commute by associativity, making $I$ a bimodule. If $u\in R$ lifts $g\in G$, then $u$ is a unit: a lift $v$ of $g^{-1}$ makes both $uv$ and $vu$ elements of $1+I$, hence units, and a ring element with both a left and a right inverse is invertible. Conjugation therefore definesChanging $u$ by an element of $I$ does not change this expression because $I^2=0$. Moreover,so $a\mapsto 1+a$ is an isomorphism of $\mathbb{Z}G$-modules for these conjugation actions.

Let $R^{\times }\to (R/I{)}^{\times }$ be reduction on unit groups, and define $U$ as the inverse image of the distinguished subgroup $G\subseteq (\mathbb{Z}G{)}^{\times }$. Every $g\in G$ has a unit lift by the preceding argument, and the kernel consists exactly of the units congruent to $1$, namely $1+I$. Multiplication in $R$ therefore gives the group extensionChoose a set-theoretic section $s:G\to U$ with $s(1)=1$. Its extension cocyclesatisfies the two-cocycle identity by associativity. A different section changes $c$ by a group coboundary, so second group cohomology classifies group extensions gives a well-defined classThe same construction for $(R_1,I_1)$ gives $U_1$, an extension cocycle $c_1$, and $x_1=[c_1]\in H^2(G,1+I_1)$.

The answer to the final question is no. An abstract ring isomorphism $R_1\cong R$ need not carry the distinguished ideal $I_1$ to $I$, need not induce the identity under the two chosen identifications of the quotient rings with $\mathbb{Z}G$, and need not induce the prescribed $\mathbb{Z}G$-module isomorphism $\theta$. Hence it need not give an isomorphism of the two displayed group extensions, so it imposes no equality $\varphi (x_1)=x$. That equality does hold if the ring isomorphism has all three compatibility properties, because it then carries one extension cocycle to the other up to a group coboundary.

Put $Q=G/H$ and write $M^H$ for the invariant submodule. The five-term exact sequence in group cohomology associated with the Lyndon–Hochschild–Serre spectral sequence isThe inflation map in group cohomology composes a cocycle on $Q$ with the quotient homomorphism $G\to Q$. The restriction map in group cohomology restricts a cocycle from $G$ to $H$. The quotient action on the middle term is, for $q=gH$ and a one-cocycle $f$,This is independent of the lift and of the representative at the level of cohomology. Finally, the transgression in group cohomology extends a $Q$-invariant class on $H$ to a one-cochain on $G$; its coboundary is $H$-basic and descends to the two-cocycle on $Q$ representing $d_2[f]$. Changing the extension changes that cocycle by a group coboundary.

For the application, choose free generators $x_1,\dots ,x_n$ of $F$ and normal generators $r_1,\dots ,r_n$ of $R$. Since a finite nonabelian simple group $K$ is a perfect group, its abelianization is zero. The five-term sequence for $1\to R\to F\to K\to 1$ with trivial coefficients containsThe first term is zero because $K$ is finite, and the last term is zero because a free group has cohomological dimension one. It remains to prove that restriction is surjective.

The invariant submodule of homomorphisms $R\to \mathbb{Z}$ is exactlyThe images of the relators $r_1,\dots ,r_n$ generate $R/[F,R]$, so such a homomorphism $\lambda$ is determined by the integer vector $b=(\lambda (r_1),\dots ,\lambda (r_n){)}^T$. Let $A$ be the relator exponent-sum matrix. This square integer matrix presents $K^{\mathrm{ab}}$, which is zero, so $A$ is a unimodular matrix. There is therefore an integer vector $v$ satisfying $Av=b$. Define $\psi :F\to \mathbb{Z}$ by assigning to $x_i$ the $i$th entry of $v$. The definition of $A$ gives $\psi (r_j)=\lambda (r_j)$ for every $j$. Since the relator images generate $R/[F,R]$, the restriction of $\psi$ to $R$ equals $\lambda$. Restriction is surjective, exactness now gives