This gives a degenerate norm on the tangent space of Hₙ at the origin, and one can use left translations to define similar norms at the tangent spaces of Hₙ at all other points.