Since ,
Every group element has the unique preimage , so the Exponential map of a Lie group is bijective. It is a diffeomorphism from onto , proving that is connected and simply connected.
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 .
For , the Cayley transform is
Writing its diagonal and off-diagonal entries as , one has , so and . For , put to obtain , so this interval covers the identity component. For the image lies in the other component and covers it except for , approached only as . The Exponential map of a Lie group reaches only the identity component, whereas the Cayley transform also reaches nonidentity-component elements but omits and is undefined at .