Transitivity on pointed hyperbolic lines

ID: transitivity-on-pointed-hyperbolic-lines

The group acts transitively on pairs consisting of a hyperbolic line and a point on it. Send the two ideal endpoints of to and , then use a positive dilation to move the resulting point on the imaginary axis to .

New to topics? Read the docs here!