On some sharply t-transitive sets (Q1105022)

Let \(S_ k\) be the symmetric group on the set \(\Omega =\{1,...,k\}\) and \(t\in \{2,...,k\}\). A sharply t-transitive set G is a subset of \(S_ k\) with the property that for every two ordered t-tuples \(\alpha_ 1,...,\alpha_ t\) and \(\beta_ 1,...,\beta_ t\) of elements in \(\Omega\) there uniquely exists \(g\in G\) with \((\alpha_ i)g=\beta_ i\), \(i\in \{1,...,t\}\). We define a distance d on \(S_ k\) as follows: For two elements \(g_ 1,g_ 2\in S_ k\), \(d(g_ 1,g_ 2)=| \{\alpha \in \Omega |\) \((\alpha)g_ 1\neq (\alpha)g_ 2\}|\). Then \((S_ k,d)\) is a metric space and \(d(gg_ 1,gg_ 2)=d(g_ 1,g_ 2)=d(g_ 1g,g_ 2g)\) for all \(g\in S_ k\). We call a sharply t-transitive set G schematic if for \(g_ 1,g_ 2\in G\) with \(d(g_ 1,g_ 2)=k-h\) the number \(f(i,j,h)=| \{g\in G|\) \(d(g,g_ 1)=k-i\), \(d(g,g_ 2)=k- j\}|\) does not depend on the choice of \(g_ 1\), \(g_ 2\), but it depends on i,j,h\(\in \{0,...,k\}\). Note that \(A_ 5\) and any sharply 2- transitive set are schematic; PSL(2,8) is a schematic sharply 3- transitive set. Theorem. If a sharply t-transitive set G on \(\Omega\) \((| \Omega | =k>t\geq 2)\) is schematic then 2t-1\(\leq k\).