dcd52b82644bda12.tex
1: \begin{abstract}
2: The Markoff group of transformations is a group $\Gamma$ of affine
3: integral morphisms, which is known to act transitively on the set
4: of all positive integer solutions to the equation $x^{2}+y^{2}+z^{2}=xyz$.
5: The fundamental strong approximation conjecture for the Markoff equation
6: states that for every prime $p$, the group $\Gamma$ acts transitively
7: on the set $X^{*}\left(p\right)$ of non-zero solutions to the same
8: equation over $\nicefrac{\mathbb{Z}}{p\mathbb{Z}}$. Recently, Bourgain,
9: Gamburd and Sarnak proved this conjecture for all primes outside a
10: small exceptional set.
11: 
12: In the current paper, we study a group of permutations obtained by
13: the action of $\Gamma$ on $X^{*}\left(p\right)$, and show that for
14: most primes, it is the full symmetric or alternating group. We use
15: this result to deduce that $\Gamma$ acts transitively also on the
16: set of non-zero solutions in a big class of composite moduli. 
17: 
18: Our result is also related to a well-known theorem of Gilman and Evans,
19: stating that for any finite non-abelian simple group $G$ and $r\ge3$,
20: the group $\mathrm{Aut}\left(\F_{r}\right)$ acts on at least one
21: ``$T_{r}$-system'' of $G$ as the alternating or symmetric group.
22: In this language, our main result translates to that for most primes
23: $p$, the group $\mathrm{Aut}\left(\F_{2}\right)$ acts on a particular
24: $T_{2}$-system of $\mathrm{PSL}\left(2,p\right)$ as the alternating
25: or symmetric group.
26: \end{abstract}
27: