On a theorem of Engel. (Q2600644): Difference between revisions

Es handelt sich um den folgenden Satz, den der Ref. 1887 veröffentlicht, den er aber allerdings erst 1893 vollständig bewiesen hat (Ber. Sächs. Akad. Wiss. Leipzig, Math.-phys. Kl. 39 (1887), 89-99; 45 (1893), 360-369; F. d. M. 19, 355 (JFM 19.0355.*); 25, 629). Eine \(r\)-gliedrige Gruppe ist dann und nur dann integrabel, wenn sie keine dreigliedrige Untergruppe enthält, die mit der projektiven Gruppe der Geraden gleichzusammen\-gesetzt ist. In der Fassung, die der Verf. dem Satze gibt, ist dieser freilich kaum wieder\-zuerkennen, und der Verf. hätte besser getan, von einem Satze zu sprechen, der mit dem \textit{Engel}schen gleichbedeutend ist. Im Gegensatze zu andern Beweisen des Satzes, die allerhand Hilfsmittel voraussetzen, liefert der Verf. einen Beweis, der nur mit dem formellen Begriffe einer \(r\)-gliedrigen Gruppe von infinitesimalen Transformationen arbeitet und der auf den Begriffen ``nilpotente infinitesimale Transformation'' und ``nilpotente Untergruppe'' beruht.