3.I.3G

Geometry of Group Actions
Part II, 2005

By considering fixed points in C{}\mathbb{C} \cup\{\infty\}, prove that any complex Möbius transformation is conjugate either to a map of the form zkzz \mapsto k z for some kCk \in \mathbb{C} or to zz+1z \mapsto z+1. Deduce that two Möbius transformations g,hg, h (neither the identity) are conjugate if and only if tr2(g)=tr2(h)\operatorname{tr}^{2}(g)=\operatorname{tr}^{2}(h).

Does every Möbius transformation gg also have a fixed point in H3\mathbb{H}^{3} ? Briefly justify your answer.