Let H be the Heisenberg group of real matrices 100a10cb1.
(a) Show that its Lie algebra h is the space of strictly upper-triangular real 3×3 matrices, and compute the brackets of P=E12, Q=E23, Z=E13.
(b) Compute eX for X=000x00zy0 and deduce that exp:h→H is a bijection.
(c) Find the centre of H and of h.