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.