Proposition

Let , and let . Then is sharply -transitive on projective line iff .

\begin{proof} Note that must send collinear points to other collinear points. So when is not -transitive.

When , any two elements and can be mapped to and by and , respectively. Since for , there is a such that satisfying . And is the unique such map that does so. \end{proof}