Über den Rang geschlossener Liescher Gruppen.
Der Rang \(\lambda \) einer geschlossenen Lieschen Gruppe \(G\) ist die größte Zahl, zu der es in \(G\) \(\lambda \)-dimensionale Abelsche Untergruppen gibt. Verf. beweist den von \textit{É. Cartan} (Ann. Mat. pura appl., Bologna, (4) 4 (1927), 209-256; F. d. M. 53, 392 (JFM 53.0392.*)) für geschlossene halbeinfache Gruppen erhaltenen Satz: Die Summe der Bettischen Zahlen einer geschlossenen Gruppe \(G\) vom Rang \(\lambda \) ist \(2^\lambda \). Nach Ergebnissen der vorstehend besprochenen Arbeit des Verf. ist der Homologiering \(\mathfrak R(G)\) von \(G\) dimensionstreu isomorph dem Homologiering \(\mathfrak R(P)\) eines topologischen Produktes \(P = S_1\times \cdots \times S_l\) von Sphären ungerader Dimension. Da die Summe der Bettischen Zahlen dieses Produktes gleich \(2^l\) ist, ist die Behauptung äquivalent dem Satz: Der Rang \(\lambda \) ist gleich \(l\). Er wird bewiesen durch Untersuchung des Abbildungsgrades \(\gamma _k\) der Abbildung \(p_k(x)=x^k\) (\(k>1\)), die jedem Element von \(G\) seine \(k\)-te Potenz zuordnet. Durch Homologiebetrachtungen in \(\mathfrak R(P)\) wird (unter Benutzung der minimalen Elemente in \(\mathfrak R(P)\) und des Umkehrungshomomorphismus der Abbildung zweier Mannigfaltig\-keiten) einerseits gezeigt, das \(\gamma _k = k^l\) ist; andererseits wird durch Untersuchung der Funktionalmatrix \(P_k\) der Abbildung \(p_k\), in einem geeigneten lokalen analytischen Koordinatensystem in \(G\) bewiesen (es wird \(| P_k |\geqq 0\) und \(p_k(G) = G\) u. a. gezeigt), daß \(\gamma _k = k^\lambda \) ist, woraus \(\lambda = l\) folgt. Einige weitere Sätze über geschlossene Liesche Gruppen \(G\) vom Rang \(\lambda \) werden abgeleitet: Jede \(\lambda \)-dimensionale Abelsche Untergruppe ist zusammenhängend, also ein Toroid \(T_\lambda \). Jedes Element von \(G\) ist in einem \(T_\lambda\) enthalten. Die 1-Komponente des Normalisators eines Elementes \(a\) aus \(G\) ist die Vereinigung der Toroide \(T_\lambda\), die \(a\) enthalten. Es werden genauere Aussagen darüber gemacht, wann der Normalisator größere Dimension als \(\lambda\) hat. Ist dies nicht der Fall, so hat die Gleichung \(x^k =a\) genau \(k^\lambda\) Lösungen; andernfalls können unendlich viele Lösungen existieren, die eine mindestens zweidimensionale Menge bilden.
This page was built for publication: Über den Rang geschlossener Liescher Gruppen.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2584329)
