The exponential map is known not to be surjective in this case, even though it is surjective on the whole group L. This follows because the squaring operation is not surjective in H. Indeed, since the square of an element fixes 0 only if the original element fixes 0, it suffices to prove this in H 0. Take α with |α| < 1 and