Stetige Abbildungen und Bettischen Gruppen der Dimensionszahlen 1 und 3. (Q2617848)

Verf. charakterisiert die \textit{Betti}sche Gruppe erster Dimension eines kompakten metrischen Raumes - definiert als die duale Gruppe zur eindimensionalen Zyklosis (\textit{Pontrjagin}, Über den algebraischen Inhalt topologischer Dualitätssätze, Math. Ann. 105 (1931), 165-205; F. d. M. 57) - und für dreidimensionale Räume auch die \textit{Betti}sche Gruppe der Dimension Drei durch Abbildungseigenschaften des Raumes auf den Kreis \(S^1\) bzw. die dreidimensionale Sphäre \(S^3\). Ist \(F\) ein kompakter metrischer Raum, \(M\) eine geschlossene Mannigfaltigkeit, deren Punkte eine topologische Gruppe bilden (die \(S^1\) und die \(S^3\) besitzen diese Eigenschaft), so bilden die eindeutigen stetigen Abbildungen von \(F\) auf \(M\) eine Gruppe, wenn man das Produkt \(f(x)g(x)\) zweier solcher Abbildungen durch die Gruppenoperation in Raume \(M\) definiert. Zusammenfassung der Abbildungen zu Abbildungsklassen führt wieder zu einer Gruppe \(\mathfrak G_M(F)\). Es wird bewiesen: {\parindent=5mm \begin{itemize}\item[(1)]Die eindimensionale \textit{Betti}sche Gruppe \(\mathfrak B^1(F)\) des kompakten metrischen Raumes \(F\) ist einstufig isomorph zur Gruppe \(\mathfrak G_{S^1}(F)\) der Abbildungsklasse von \(F\) auf den Kreis. \item[(2)]Die dreidimensionale \textit{Betti}sche Gruppe eines dreidimensionalen kompakten metrischen Raumes \(F\) ist isomorph zur Faktorgruppe der Gruppe \(\mathfrak G_{S^2}(F)\) der Abbildungsklassen von \(F\) auf die dreidimensionale Sphäre \(S^3\) nach der Gruppe der Elemente endlicher Ordnung von \(\mathfrak G_{S^3}(F)\) (\(\mathfrak G_{S^3}(F)\) ist kommutativ). \end{itemize}} Für Komplexe \(K\) läßt sich (2) verschärfen: \(\mathfrak G_{S^2}(K)\) ist isomorph der direkten Summe \(\mathfrak B^3(K)+\mathfrak T^2(K)\), wobei \(\mathfrak B^3(K)\) die freie \textit{Betti}sche Gruppe, \(\mathfrak T^2(K)\) die Torsionsgruppe bedeutet. Die Sätze werden zunächst für Komplexe bewiesen und dann - unter Benutzung der Approximation eines kompakten metrischen Raumes durch eine Folge von Komplexen (``Projektionsspektrum'', \textit{Alexandroff}, Annals of Math. (2) 30 (1928), 101-187, besonders S. 107; F. d. M. 54, 609 (JFM 54.0609.*). Vgl. auch die genannte Arbeit von \textit{Pontrjagin}) - auf kompakte metrische Räume übertragen.