Paper 2, Section II, E
Part IB, 2021
Define , the upper half plane model for the hyperbolic plane, and show that acts on by isometries, and that these isometries preserve the orientation of .
Show that every orientation preserving isometry of is in , and hence the full group of isometries of is , where .
Let be a hyperbolic line. Define the reflection in . Now let be two hyperbolic lines which meet at a point at an angle . What are the possibilities for the group generated by and ? Carefully justify your answer.