Past exam of the mathematics course of the University of Cambridge 2005 ia Paper 3 7D Solution Created 2026-09-24 Updated 2026-10-14
The identity belongs to the center of a group. If are central, then for every ,so the center is a subgroup. For a central , for every , giving . Thus the center is a normal subgroup.
Write a matrix of the Heisenberg group as . Direct matrix multiplication and inversion giveThe identity is and each matrix has determinant one, so these formulas show closure under products and inverses inside . Hence is a subgroup.
The two products and differ only in their upper-right entries, by . Commutation with every therefore requires for all real . Setting forces ; setting forces . These conditions are also sufficient. ThusDefine the surjective group homomorphism by . The multiplication formula gives , and its kernel of a group homomorphism is precisely . The first isomorphism theorem yieldsThis center quotient of the real Heisenberg group can also be checked directly: two elements have the same coordinates exactly when they differ by multiplication by a central element, and quotient multiplication adds these coordinates.