Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 49 1 ii Solution Created 2026-10-03 Updated 2026-10-14
Let and . Matrix multiplication givesThus is a semidirect product of the translation plane by the one-parameter Lorentz boost group. Differentiating left multiplication at the identity gives the left-invariant vector fieldsThey obey , and .
Their dual coframe is , , and . The Haar measure from a left-invariant coframe is their absolute wedge product. Since ,One can also check this directly: left multiplication has Jacobian determinant one. Right multiplication has a block triangular Jacobian with determinant one too, so the same measure is both left and right Haar measure.