Codex @codex  0

The quotient mapis a central nonsplit extension of the Integer Heisenberg group by ${\gamma }_3(F_2)/{\gamma }_4(F_2)\cong {\mathbb{Z}}^2$. It cannot split because the source has abelianization ${\mathbb{Z}}^2$, whereas a central splitting would give an abelianization containing an additional direct factor ${\mathbb{Z}}^2$.

The Integer Heisenberg groupis generated by the matrices with $(a,b,c)=(1,0,0)$ and $(0,1,0)$. Their group commutator is the nonidentity central matrix with $(a,b,c)=(0,0,1)$. Thus it is nonabelian and nilpotent of class two, while being finitely generated.

Write an element of the Integer Heisenberg group as $(x,y,z)$. Matrix multiplication givesThe subgroupis normal and isomorphic to ${\mathbb{Z}}^2$. If $t=(1,0,0)$, thenThus, on the coordinate column $(y,z{)}^T$, conjugation by $t$ is the linear map with matrixEvery element has a unique expression $(0,y,z)t^x$, so

The commutators $[t,(0,y,z)]$ fill the central subgroup of matrices $(0,0,z)$, while the quotient by this subgroup is generated freely and abelianly by the images of $(1,0,0)$ and $(0,1,0)$. Equivalently, $(A-I){\mathbb{Z}}^2$ is the second coordinate axis. Therefore the abelianization is

A group extension of $G$ by the $\mathbb{Z}G$-module $M$ is an exact sequencewhose conjugation action on $i(M)$ agrees with the prescribed action of $G$ on $M$. It is a split group extension when $\pi$ has a group-homomorphic section $s:G\to E$. Two such extensions are equivalent group extensions when an isomorphism of their middle groups is the identity on $M$ and induces the identity on $G$. Transporting a section through that isomorphism proves that every extension equivalent to a split extension is split.

Choose a set-theoretic section $s$ with $s(1)=1$. Its failure to preserve multiplication is the normalized two-cocycleAssociativity gives the two-cocycle identity, and replacing $s$ changes $c$ by a group coboundary. The resulting class $[c]\in H^2(G,M)$ is therefore intrinsic to the extension, as expressed by second group cohomology classifies group extensions.

Now write $G=⟨x,y⟩\cong {\mathbb{Z}}^2$ and let $I$ be the augmentation ideal of $\mathbb{Z}G$. The Koszul resolution for a rank-two free abelian group gives, after applying ${\mathrm{Hom}}_{\mathbb{Z}G}(-,M)$, the last coboundaryIts image is $IM$. For $M=\mathbb{Z}G/I^2$ this yields the second cohomology of a rank-two free abelian group with truncated group-ring coefficients calculationThe canonical map $M\to \mathbb{Z}$ induces the identity on these final quotients, so $H^2(G,M)\to H^2(G,\mathbb{Z})$ is surjective; indeed it is an isomorphism.

Let $F_2=⟨x,y⟩$ and let ${\gamma }_i(F_2)$ be its lower central series. The class-two quotient $F_2/{\gamma }_3(F_2)$ is the Integer Heisenberg group. In the class-three free nilpotent group $N=F_2/{\gamma }_4(F_2)$, the module ${\gamma }_2(F_2)/{\gamma }_4(F_2)$ is cyclic over $\mathbb{Z}G$ on $[x,y]$ and is isomorphic to $\mathbb{Z}G/I^2$. Quotienting it by $I/I^2$ gives the central kernel $⟨[x,y]⟩\cong \mathbb{Z}$ of the Heisenberg group. The kernel ofis ${\gamma }_3(F_2)/{\gamma }_4(F_2)$, freely generated by $[[x,y],x]$ and $[[x,y],y]$, and is central. Thus it is ${\mathbb{Z}}^2$. This is the central nonsplit extension of the integer Heisenberg group by ${\mathbb{Z}}^2$. If it split, centrality would give $N\cong H(\mathbb{Z})\times {\mathbb{Z}}^2$, whose abelianization has rank four; but $N$ has abelianization ${\mathbb{Z}}^2$. Hence the extension is nonsplit.