Freudenthalscher Einhängungssatz

Der Freudenthal'sche Einhängungssatz ist ein Satz aus dem mathematischen Teilgebiet der algebraischen Topologie, er bildet eine Grundlage für die stabile Homotopietheorie.

Die Aussage ist die folgende:

Sei $n \geq 0$ und ein -zusammenhängender CW-Komplex. Dann ist die von der Einhängung induzierte Abbildung

$\pi _{r}(X)\to \pi _{r+1}(\Sigma X)$

für $1\leq r\leq 2n$ ein Isomorphismus und für $r=2n+1$ surjektiv.

Für die stabilen Homotopiegruppen $\pi _{*}^{s}(X)$ folgt daraus, dass

$\pi _{r}(X)\to \pi _{r}^{s}(X)$

für $1\leq r\leq 2n$ ein Isomorphismus und für $r=2n+1$ surjektiv ist.

Verallgemeinerung: Sei $n \geq 0$ und ein -zusammenhängender CW-Komplex. Sei ein endlicher CW-Komplex mit $H^{q}(Y)=0$ für $q>2n$ . Dann ist

$\left[Y,X\right]\to \left[\Sigma ^{k}Y,\Sigma ^{k}X\right]$

für alle $k\geq 0$ eine Bijektion zwischen den Mengen der Homotopieklassen.

Basierend auf einem Artikel in: