Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2015/paper-2/8/b/solution

Denote a matrix by , with the upper-right entry. Direct matrix multiplication gives
This proves closure. Associativity is inherited from matrix multiplication. The identity is , and the inverse is
Both products with this matrix are the identity. Thus these real matrices form the Heisenberg group, in the coordinate convention with central coordinate .
Let . Its multiplication adds , its identity is and its inverse negates , so it is a subgroup. Moreover
Thus every element of is central, and . Therefore is a normal subgroup. In fact it is the full center of a group, as described by the center quotient of the real Heisenberg group.

New to topics? Read the docs here!