Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 3 / 2 / f / ii

Adjoin the label $9=\infty$. Inversion on the projective line, with zero and infinity interchanged, isThe label $2=1\in F$ is fixed. Set $H=G_1=\{M_s:z\mapsto sz\}$, where the subscript one denotes the original point label, namely field zero. Then $x^2=1\in H$ and $x{M}_{s}x=M_{s^{-1}}$, so $x$ normalizes $H$.

For $g(z)=sz+t$ outside $H$, we have $t\ne 0$. On the projective line,The equality uses characteristic two and is valid as an equality of fractional linear transformations, including poles and infinity. ThusAll conditions of the double-coset criterion for a one-point extension hold. Therefore $G^{+}=⟨G,x⟩$ is a one-point extension, with $|G^{+}|=9\cdot 56=504$. Its stabilizer subgroup is sharply two-transitive, so its action on nine points is sharply three-transitive.