A theorem concerning the semi-simple Lie groups. (Q2604779)

Hat man eine formale Infinitesimalgruppe \(\overline{I}\) von Matrizen, so ist ihr ein Gruppenkeim \(\overline{\mathfrak G}\) zugeordnet. Die Gesamtheit aller Matrizen, die Produkte von endlich vielen Faktoren \(\exp U (U\in \overline{I})\) sind, und deren nicht singuläre Häufungspunkte bilden eine \textit{Lie}sche Gruppe, deren Infinitesimalgruppe \(I\) sei. Verf. beweist, daß \(I= \overline{I}\) ist, falls der \textit{Lie}sche Ring \(\overline{I}\) halbeinfach ist.