Bestimmung aller \(r\)-gliedrigen transitiven Transformationsgruppen durch ausführbare Operationen. (Q1533218)

Herr Lie hat früher bewiesen, dass \(r^3\) Constanten \(c_{iks}\) stets dann, aber auch nur dann, die Zusammensetzung einer \(r\)-gliedrigen Gruppe bestimmten, wenn sie seine bekannten Relationen: \[ (1) \quad \begin{cases} \qquad c_{iks} +c_{kis} =0, \\ \sum_1^r \{c_{ik\nu} c_{\nu js} + c_{kj\nu} c_{\ni is} + c_{ji\nu} c_{\nu ks}\} =0 \\ \qquad (i,k,j,s= 1, \dots, r) \end{cases} \] erfüllen. Indem er sich auf diesen Satz stützt, beweist er hier, dass alle \(r\)-gliedrigen transitiven Gruppen von gegebener Zusammensetzung durch ausführbare Operationen gefunden werden können. Zunächst setzt Herr Lie auseinander, dass gewisse von ihm schon 1878 angewandte Betrachtungen ohne weiteres zwei zu einander reciproke, einfach transitive Gruppen von der Zusammensetzung \(c_{iks}\) aufzustellen erlauben; die infinitesimalen Transformationen dieser Gruppen, der sogenannten kanonischen Parametergruppen, findet man durch Integration eines Systems von linearen Differentialgleichungen mit constanten Coefficienten; sie werden rationale Functionen von gewissen Ausdrücken \(\nu_1, \nu_2, \dots\) und von den Exponentialgrössen \(e^{\nu_1}, e^{\nu_2}, \dots,\) die \(\nu_k\) sind dabei algebraische Functionen von \(r\) Veränderlichen, und zwar die Wurzeln einer gewissen algebraischen Gleichung mit rationalen Coefficienten. Nunmehr lassen sich nach früheren Lie'schen Sätzen die endliche Gleichungen der beiden kanonischen Parametergruppen durch Quadraturen finden und, wenn dies geschehen ist, ohne Quadraturen die endlichen Gleichungen jeder transitiven Gruppe von der gegebenen Zusammensetzung \(c_{iks}\). Die Bestimmung der endlichen Gleichungen aller transitiven Gruppen von gegebener Zusammensetzung erfordert demnach ausser der Auflösung einer algebraischen Gleichungen höchstens noch Quadraturen. Verbindet andererseits Herr Lie seine Ergebnisse mit einer von Herrn Schur gemachten Bemerkung, so zeigt sich, dass die Bestimmung der infinitesimalen Transformationen aller dieser Gruppen nicht einmal Quadraturen verlangt, sondern nur die Auflösung einer algebraischen Gleichung.