Properties of group manifolds. (Q5916493)

\(M\) sei eine \(n\)-dimensionale (nicht notwendig kompakte) Mannigfaltigkeit, für deren Punkte eine eindeutige, in beiden Faktoren stetige Multiplikation mit beiderseitigem Einselement definiert ist. Verf. beweist sehr einfach, daß die Fundamentalgruppe von \(M\) kommutativ ist (für Gruppen vgl. \textit{Schreier}, Abhandlungen Hamburg 4 (1925), 15-32; F. d. M. 51, 112). Unter Voraussetzung des assoziativen Gesetzes gibt es eine \(n\)-dimensionale Teilmannigfaltigkeit \(M_1\) von \(M\), auf der die Multiplikation eine Gruppe ist; \(M_1\) kann bei nicht kompaktem \(M\) echter Teil von \(M\) sein. Eine Gruppenmannigfaltigkeit ist stets orientierbar. Aus dem Satz von der Invarianz der Dimensionszahl wird geschlossen, daß eine \(n\)-parametrige abelsche Gruppe nicht mehr als \(n\) voneinander unabhängige einparametrige (geschlossene) Untergruppen haben kann; unabhängig bedeutet dabei: Die Gruppenmannigfaltigkeiten \(j_1\), \dots, \(j_p\), aufgefaßt als Elemente der Fundamentalgruppe, genügen keiner Relation \(j_1^{\alpha_1} \cdots j_p^{\alpha_p}=1\) (nicht alle \(\alpha_i=0\)).