Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/ia/paper-3/6d/b/solution
Past exam of the mathematics course of the University of Cambridge 2013 ia Paper 3 6D b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-07
Write the matrix as . Direct multiplication and inversion giveThe identity is and all determinants are one, so these formulas verify the subgroup criterion inside . This is the real Heisenberg group.
The map is a surjective group homomorphism to the additive group of real numbers; its kernel is exactly . Hence is normal and the first isomorphism theorem givesTwo matrices commute exactly when . Requiring that relation for every forces , while is unrestricted. ThereforeFinally is a surjective group homomorphism to the additive group with precisely this kernel of a group homomorphism, giving . The central coordinate records noncommutativity: the group commutator is .
New to topics? Read the docs here!