Die 5-fach transitiven Gruppen von Mathieu. (Q2598717)

\textit{E. Mathieu} (J. Math. pur. appl. (2) 6 (1861), 241-323; insbesondere S. 274) hat die bisher einzigen bekannten fünffach transitiven Permutationsgruppen \(\mathfrak M_{12}\) und \(\mathfrak M_{24}\) in 12 bzw. 24 Ziffern angegeben. Verf. gibt hier einen wesentlich vereinfachten Existenznachweis für diese beiden Gruppen an und beweist einige ihrer Eigenschaften, die von Frobenius ohne Beweis mitgeteilt worden sind. Ausgehend von einem allgemeinen Prinzip, das die Konstruktionsbedingungen für mehrfach transitive Gruppen aus einer zweifach transitiven Gruppe analysiert, werden die Gruppen \(\mathfrak M_{12}\) und \(\mathfrak M_{24}\) durch erzeugende Permutationen in 12 bzw. 24 Ziffern unmittelbar angegeben. Ferner wird für sie und ihre Untergruppen \(\mathfrak M_{11}\) bzw. \(\mathfrak M_{23}\), \(\mathfrak M_{22}\), \(\mathfrak M_{21}\) die Einfachheit nachgewiesen. Die Gruppe \(\mathfrak M_{24}\) ist die Automorphismengruppe des einzigen Steinerschen Systems \(\mathfrak S(5, 8, 24)\), ebenso \(\mathfrak M_{12}\) die Automorphismengruppe des einzigen Steinerschen Systems \(\mathfrak S(5, 6, 12)\). Darüber hinaus bestehen zwischen den beiden Gruppen \(\mathfrak M_{24}\), \(\mathfrak M_{12}\) enge Beziehungen, da eine sehr einfach zu kennzeichnende Untergruppe der \(\mathfrak M_{24}\) zu \(\mathfrak M_{12}\) isomorph ist. Schließlich sind die Gruppen \(L_{24}\) und \(L_{12}\) der Substitutionen \[ \frac{ax+b}{cx+d}\bmod 23\;\text{bzw.}\;11\quad(ad-bc\equiv 1) \] abstrakte Untergruppen der \(\mathfrak M_{24}\) bzw. \(\mathfrak M_{12}\).