On a theorem of Engel. (Q2600644)

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.