Investigations of transformation groups. II. (Q1543893)

Ist eine continuirliche Transformationsgruppe \[ x_i'=f_i(x_1,\dots,x_n,a_1,\dots,a_n)\quad (i=1,\dots,n) \] gegeben, so ist es immer möglich, ohne Integration alle gleich zusammengesetzten Gruppen zu finden. Wünscht man insbesondere alle transitiven Gruppen von der betreffenden Zusammensetzung, so verfährt man folgendermassen: Man nimmt eine Mannigfaltigkeit des Raumes \(x_1,\dots,x_n\) führt für sie alle Transformationen der Gruppe aus, und erhält so eine invariante Schar von Mannigfaltigkeiten. Bei der Gruppe werden die Mannigfaltigkeiten dieser Schar unter sich vertauscht. Sind dabei \(u_1,\dots,u_\varrho\) die Parameter unserer Mannigfaltigkeiten, so werden diese Grössen \(u\) durch eine mit der vorlegenden Gruppe gleich zusammengesetzte Gruppe transformirt. Alle Transformationen einer Gruppe \(G_r\), die ein Wertsystem \(x_\kappa\) invariant lassen, bilden eine Untergruppe. Gehört nun jede derartige Untergruppe gleichzeitig zu unendlich vielen Punkten, so dass alle Transformationen der Gruppe \(G_r\), die einen Punkt ungeändert lassen, gleichzeitig unendlich viele Punkte invariant lassen, so heisst die Gruppe ``systatisch.'' Alle Gruppen, welche diese Eigenschaft nicht besitzen, heissen ``asystatisch.'' Die hiermit eingeführten Begriffe sind von Wichtigkeit bei der Anwendung der Transformationstheorie auf die Integrationstheorie der Differentialgleichungen. Lässt eine Gruppe \(G_r\) eine Differentialgleichung \[ (1)\quad \sum_{i,k}^{1\dots n}f_{i,k}(x_1,\dots,x_n)dx_idx_k=0 \] invariant, so werden vermöge der Gruppe die durch einen festgehaltenen Punkt \(x_k^0\) gehenden Richtungen \(dx_1,\dots,dx_n\) durch eine projective Gruppe transformirt, welche die in den Differentialen quadratische Gleichung \[ \sum_{1,k}^{1\dots n}f_{i,k}(x_1^0,\dots,x_n^0)dx_idx_k=0 \] invariant lässt. Es wird nun angenommen, dass diese projective Gruppe die allgemeine projective Gruppe der betreffenden Gleichung zweiten Grades ist. Alsdann ist die Gruppe \(G_r\) ähnlich entweder mit der Gruppe der euklidischen Bewegungen im Raume \(x_1\dots x_n\), oder mit den Aehnlichkeitstransformationen in diesem Raume, oder mit der Gruppe der nichteuklidischen Bewegungen, oder endlich mit der Gruppe der reciproken Radien. Die allgemeine projective, continuirliche Gruppe einer Fläche zweiten Grades im \(n\)-fachen Raume ist einfach, wenn \(n>3\) ist.