Past exam of the mathematics course of the University of Cambridge / 2013 / ia / Paper 3 / 6D / b / Solution

Write the matrix as $M(a,b,x)$. Direct multiplication and inversion giveThe identity is $M(0,0,0)$ and all determinants are one, so these formulas verify the subgroup criterion inside ${\mathrm{GL}}_3(\mathbb{R})$. This is the real Heisenberg group.

The map $M(a,b,x)\mapsto a$ is a surjective group homomorphism to the additive group of real numbers; its kernel is exactly $H$. Hence $H$ is normal and the first isomorphism theorem givesTwo matrices commute exactly when $a{b}^{\prime }=a^{\prime }b$. Requiring that relation for every $a^{\prime },b^{\prime }$ forces $a=b=0$, while $x$ is unrestricted. ThereforeFinally $M(a,b,x)\mapsto (a,b)$ is a surjective group homomorphism to the additive group ${\mathbb{R}}^2$ with precisely this kernel of a group homomorphism, giving $G/Z(G)\cong ({\mathbb{R}}^2,+)$. The central coordinate records noncommutativity: the group commutator is $M(0,0,a{b}^{\prime }-a^{\prime }b)$.