Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-49/1/ii/solution

Let and . Matrix multiplication gives
Thus 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 fields
They 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.

New to topics? Read the docs here!