Über Wielandts Kennzeichnung der zweifachen Transitivität von Permutationsgruppen. (On Wielandt's characterization of double transitivity of permutation groups) (Q1070033)

\textit{H. Wielandt} [Permutation groups through invariant relations and invariant functions. Lecture Notes, Ohio State Univ. Columbus, Ohio (1969)] zeigte mit Hilfe des 2-Abschlusses, daß eine auf X transitiv operierende Permutationsgruppe G genau dann zweifach transitiv ist, wenn sie primitiv ist, x,y\(\in X\) mit \(x\neq y\) existieren, so daß \(gx=y\) und \(gy=x\) für ein \(g\in G\) gilt und zu jedem \(z\in X\setminus \{x,y\}\) ein \(h\in G_ z\) mit \(hx=y\) existiert. Ref. brachte einen geometrischen Beweis dieses und eines ähnlichen Satzes [Mitt. Math. Semin. Gießen 163, 79-82 (1984; Zbl 0544.20003)]. Verf. bringt einen elementaren Beweis dieser Sätze. Bei Fortfall der Bedingung \(gx=y\), \(gy=x\) folgt nicht mehr die zweifache Transitivität. Verf. kennzeichnet vielmehr transitive, aber nicht zweifach transitive Gruppen dieser Art als Automorphismengruppen gewisser gerichteter Graphen.