×

zbMATH — the first resource for mathematics

Fundamentalgruppe und zweite Bettische Gruppe. (German) JFM 68.0503.01
Bekanntlich ist die 1-dimensionale Bettische Gruppe \(\mathfrak{B}^1\) eines Komplexes gleich der Faktorkommutatorgruppe seiner Fundamentalgruppe \(\mathfrak{G}\). In dieser bedeutsamen Arbeit wird gezeigt, daß auch die 2-dimensionale Bettische Gruppe \(\mathfrak{B}^2\) durch \(\mathfrak{G}\) zwar nicht vollständig bestimmt, aber doch wesentlich beeinflußt wird. Sei nämlich \(\mathfrak{S}^2\) diejenige Untergruppe von \(\mathfrak{B}^2\), deren Elemente Bilder von Kugelflächen enthalten; dann ist die Faktorgruppe \(\mathfrak{B}^2/\mathfrak{S}^2\) durch \(\mathfrak{G}\) eindeutig bestimmt und läßt sich aus \(\mathfrak{G}\) in folgender rein algebraischen Weise ableiten. \(\mathfrak{G}\) sei wie üblich als Gruppe in Erzeugenden und definierenden Relationen geschrieben, also als Faktorgruppe \(\mathfrak{G} \cong \mathfrak{F}/\mathfrak{R}\) einer freien Gruppe \(\mathfrak{F}\) nach einer Relationengruppe \(\mathfrak{R}\), \(\mathfrak{C}\) sei die Kommutatorgruppe von \(\mathfrak{F}\) und \(\mathfrak{C}(\mathfrak{R})\) die von den Kommutatoren \(frf^{-1}\,r^{-1}\) mit \(f\) aus \(\mathfrak{F}\) und \(r\) aus \(\mathfrak{R}\) erzeugte Untergruppe von \(\mathfrak{R}\) und \(\mathfrak{C}\). Dann lautet der Hauptsatz, daß \(\mathfrak{G}_1^{*}=\mathfrak{B}^2/\mathfrak{S}^2 \cong \mathfrak{R} \frown \mathfrak{C}/\mathfrak{C}(\mathfrak{R})\); insbesondere ist die letzte Bildung von der speziellen Darstellung von \(\mathfrak{G}\) durch \(\mathfrak{F}\) und \(\mathfrak{R}\) unabhängig. Ist z. B. \(\mathfrak{G}\) die freie abelsche Gruppe mit \(p\) Erzeugenden, so ist \(\mathfrak{G}_1^{*}\) die freie abelsche Gruppe mit \(p\choose 2\) Erzeugenden. Auch bei beliebigen abelschen Gruppen \(\mathfrak{G}\) läßt sich \(\mathfrak{G}_1^{*}\) leicht angeben. Das gleiche gilt auf Grund teils geometrischer teils algebraischer Methoden für eine Reihe weiterer Gruppen, insbesondere für Gruppen mit nur einer definierenden Relation. – Aus diesem Satz ergeben sich wichtige Folgerungen sowohl geometrischer wie algebraischer Natur, die z. T. mit der Homotopietheorie von W. Hurewicz (Proc. Akad. Wet. Amsterdam 38, (1935); 112-119, 521-528; 39 (1936); 117-126, 215-224; F. d. M. 61\(_{\text{I}}\), 618; 62\(_{\text{I}}\), 678) in Zusammenhang stehen. Auch die Frage der Verallgemeinerung dieser Tatsachen auf den Fall höherer Dimensionen wird gestreift. Zieht man nur die klassischen Invarianten, die Fundamentalgruppe und die Bettischen Gruppen, heran, so gibt es nachweislich außer den genannten keine weiteren Beziehungen zwischen ihnen. – Weiterhin wird der Einfluß der Fundamentalgruppe auf die Schnitteigenschaften der Homologieklassen einer \(n\)-dimensionalen orientierbaren Mannigfaltigkeit untersucht. Es zeigt sich, daß die Schnitte zwischen je einer \((n-1)\)-dimensionalen und einer 2-dimensionalen Klasse und die Schnitte zwischen je zwei \((n-1)\)-dimensionalen Klassen durch die Fundamentalgruppe eindeutig bestimmt sind. In diesen Untersuchungen läßt sich die Beschränkung auf Mannigfaltigkeiten dadurch vermeiden, daß man an Stelle der klassischen die neuere Homologietheorie heranzieht, welche den Zyklen die Kozyklen gegenüberstellt. – Für dreidimensionale Mannigfaltigkeiten ergeben sich durch diese Tatsachen Einschränkungen für die Fundamentalgruppe, u. a. der zuerst von K. Reidemeister (Mh. Math. Physik 43 (1936), 20-28; F. d. M. 62\(_{\text{I}}\), 661) bewiesene Satz, daß als abelsche Fundamentalgruppen dreidimensionaler Mannigfaltigkeiten nur zyklische Gruppen und das direkte Produkt von drei unendlichen zyklischen Gruppen auftreten.

PDF BibTeX XML Cite
Full Text: DOI Link EuDML