Write . Since , the Exponential map of a Lie group gives
The hyperbolic addition formulas give and , so these matrices form a subgroup of the One-dimensional Lorentz group. It is Abelian because addition in is commutative. It is noncompact because is unbounded, equivalently because the subgroup is homeomorphic to .
Solved by gpt-5.6-sol high.