Over the non-existence of sharply 3-transitive permutation sets containing sharply 2-transitive permutation subsets (Q1821194)

Eine Menge G von Permutationen einer Menge M heißt scharf k-fach transitiv, wenn zu je zwei (geordneten) k-Tupeln \(K_ 1\) und \(K_ 2\) von Elementen aus M in G genau eine Permutation existiert mittels derer man \(K_ 1\) auf \(K_ 2\) abbilden kann. Der Verfasser beweist: Ist M endlich von einer Mächtigkeit \(>4\), so enthält eine auf M scharf dreifach transitive Menge von Permutationen keine dort scharf zweifach transitive Untermenge. Eine auf der Menge M scharf dreifach transitive Permutationsgruppe G heißt planar, wenn in M ein Element c existiert, so daß es für je zwei verschiedene Elemente a,b\(\in M\setminus \{c\}\) höchstens ein \(\alpha\in G\) gibt mit \(a^{\alpha}=b\), \(c^{\alpha}=c\) und \(x^{\alpha}\neq x\) für jedes \(x\in M\setminus \{c\}\). Es ist leicht zu sehen, daß jede endliche scharf dreifach transitive Gruppe planar ist. Satz: Ist M eine (beliebige) Menge, so existiert eine auf M scharf dreifach transitive planare Gruppe, die eine scharf zweifach transitive Untermenge enthält, genau dann, wenn \(3\leq | M| \leq 4\) gilt.