Fundamentallemma der homologischen Algebra

Das Fundamentallemma der homologischen Algebra (auch Hauptlemma der homologischen Algebra) ist ein technisches Lemma aus dem mathematischen Gebiet der homologischen Algebra, es garantiert die Fortsetzbarkeit von Kettenabbildungen zwischen Kettenkomplexen.

Das Fundamentallemma zeigt, dass die Definition von Homologiegruppen unabhängig von Wahlmöglichkeiten bei gewissen Konstruktionen ist.

Lemma

Es seien $(C_{*},d_{*})$ und $(C_{*}^{\prime },d_{*}^{\prime })$ zwei Kettenkomplexe. Für eine ganze Zahl $r$ sei

$(f_{i}\colon C_{i}\to C_{i}^{\prime })_{i\leq r}$

eine Familie von Homomorphismen mit

$d_{i}^{\prime }f_{i}=f_{i-1}d_{i}$ für $i\leq r$.

Wir nehmen an, dass alle $C_{i}$ mit $i>r$ projektive Moduln sind und dass ab Grad $r$ die Homologie von $C^{\prime }$ verschwindet, also $H_{i}(C^{\prime })=0$ für alle $i\geq r$.

Dann lässt sich $(f_{i}\colon C_{i}\to C_{i}^{\prime })_{i\leq r}$ zu einem Kettenhomomorphismus

$f\colon C\to C^{\prime }$

mit $f=f_{i}$ für $i\leq r$ fortsetzen und diese Fortsetzung ist eindeutig bis auf Kettenhomotopie. Zu je zwei Fortsetzungen kann die Kettenhomotopie $h$ so gewählt werden, dass $h_{i}=0$ für $i\leq r$.

Folgerungen

Eine unmittelbare Folgerung aus dem Fundamentallemma ist der folgende Lehrsatz:

Zu je zwei projektiven Auflösungen $F$ und $F^{\prime }$ eines $R$-Moduls $M$ gibt es eine (bis auf Kettenhomotopie eindeutige) augmentierungs-erhaltende Kettenhomotopieäquivalenz $f\colon F\to F^{\prime }$.

Eine typische Anwendung dieser Tatsache findet sich bei der Definition von Homologiegruppen. Zum Beispiel wird die Gruppenhomologie $H_{*}(G,A)$ einer Gruppe $G$ mit Koeffizienten in einer abelschen Gruppe $A$ (bspw. $A=\mathbb {Z}$ oder $A=\mathbb {R}$) definiert als Homologie des Kettenkomplexes

$F_{*}\otimes _{\mathbb {Z} G}\mathbb {Z}$,

wobei $F_{*}$ eine beliebige projektive Auflösung des $\mathbb {Z} G$-Moduls $A$ (mit der trivialen $\mathbb {Z} G$-Wirkung) bezeichnet. Aus dem obigen Satz ergibt sich die Unabhängigkeit der so definierten Homologiegruppen von der Wahl der projektiven Auflösung. Für konkrete Berechnungen ist es oft sehr hilfreich, dass man zur Bestimmung der Homologie die projektive Auflösung beliebig wählen kann.

Eine andere Anwendung ist die Definition des Tor-Funktors, der ebenfalls mittels projektiver Auflösungen definiert wird und wo ebenso aus dem obigen Satz die Unabhängigkeit des Funktors von der gewählten projektiven Auflösung folgt.

Allgemein kann obiger Satz zum Beweis der Wohldefiniertheit linksderivierter Funktoren herangezogen werden.

Duale Version

Das Fundamentallemma hat auch eine duale Version für Kokettenkomplexe.

Es seien $(C^{*},d^{*})$ und $({C^{\prime }}^{*},{d^{\prime }}^{*})$ zwei Kokettenkomplexe. Für eine ganze Zahl $r$ sei

$(f_{i}\colon C^{i}\to {C^{\prime }}^{i})_{i\leq r}$

eine Familie von Homomorphismen mit

${d^{\prime }}^{i}f_{i}=f_{i+1}d^{i}$ für $i\leq r$.

Wir nehmen an, dass alle $C_{i}$ mit $i>r$ injektive Moduln sind und dass ab Grad $r$ die Kohomologie von $C^{\prime }$ verschwindet, also $H^{i}(C^{\prime })=0$ für alle $i\geq r$.

Dann lässt sich $(f_{i}\colon C_{i}\to {C^{\prime }}^{i})_{i\leq r}$ zu einem Kettenhomomorphismus

$f\colon C\to C^{\prime }$

mit $f=f_{i}$ für $i\leq r$ fortsetzen und diese Fortsetzung ist eindeutig bis auf Kettenhomotopie. Zu je zwei Fortsetzungen kann die Kettenhomotopie $h$ so gewählt werden, dass $h_{i}=0$ für $i\leq r$.

Die duale Version wird bei der Definition von Kohomologiegruppen benutzt, zum Beispiel bei der Gruppenkohomologie, oder bei der Definition des Ext-Funktors.

Literatur

• K. S. Brown: Cohomology of groups. Corrected reprint of the 1982 original. Graduate Texts in Mathematics, 87. Springer-Verlag, New York, 1994. ISBN 0-387-90688-6
• E. Ossa: Topologie. Vieweg Studium: Aufbaukurs Mathematik, 42. Friedr. Vieweg & Sohn, Braunschweig, 1992. ISBN 3-528-07242-3

Weblinks

• C. Schweigert: Höhere Algebra: Darstellungstheorie und homologische Algebra (Kapitel 6)
• T. Bauer: Homologische Algebra und Gruppenkohomologie (Kapitel 3)
• J. F. Davis, P. Kirk: Lectures in Algebraic Topology (Chapter 2)