Skip to main content
1 of 2
user avatar
user avatar

A KT-field $(F,+,\times,\sigma)$ consists of a neardomain $(F,+,\times)$ together with an involutionary automorphism $\sigma$ satisfying $$\sigma(1 + \sigma(x)) = 1 - \sigma(1 + x)$$ for all $x \in F \setminus \{0,1\}$. (My impression is that neardomains are quite weak entities, e.g. $F^{\times}$ is required to be a group but it may not be commutative, $(F,+)$ is not even necessarily a group. Industrious MO reader adds the definition of a neardomain to this answer if they wish.) Sharply $3$-transitive groups are determined up to isomorphism as permutation groups on $\mathbf{P}^1(F) = F \cup \{ \infty \}$ consisting of maps of the form:

(i): $x \mapsto a + m x, \quad \infty \mapsto \infty$

(ii): $x \mapsto a + \sigma(b + m x), \quad \infty \mapsto a, \quad - m^{-1} b \mapsto \infty$,

where $a,b \in F$ and $m \in F^{\times}$.

Consider the set of elements $\gamma \in G$ such that $\gamma(0) = \infty$ and $\gamma(\infty) = 0$. They are given exactly by mappings of the form: $$\gamma: x \mapsto \sigma( \lambda x)$$ for any $\lambda \in F^{\times}$. If all such $\gamma$ have order two, then $$\sigma(\lambda \sigma(\lambda x)) = x$$ for all $x, \lambda \in F^{\times}$. Setting $x = \lambda^{-1}$, it follows that $\sigma(\lambda) = \lambda^{-1}$ for all $\lambda \in F^{\times}$. Since $\sigma$ is an automorphism, it follows that $F^{\times}$ is commutative. From a Theorem of Kirby (see below), it follows that $(F,+,\times)$ is actually a commutative field, and $G = \mathrm{PGL}_2(F)$.

All the results and definitions of this answer can be gleamed from the math review: MR0997066 (91b:20004a) of a paper by William Kerby. The paper is only $3$-pages long, so I assume that is is relatively elementary - although I can't access it myself, and it may refer to previous results. (Full disclosure, all I did was type "sharply 3-transitive" into mathscinet, I don't actually know what a neardomain actually is.) In case your actual purpose is to generalize this result to $(\infty,\pi)$-whatzit categories with creamy rice pudding centres, you might want to take a glance at the actual paper.

user631