Satz von Künneth

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Der nach Hermann Künneth benannte Satz von Künneth ist ein Satz aus dem mathematischen Teilgebiet der homologischen Algebra. Der Satz führt die Homologie eines Tensorproduktes von Kettenkomplexen auf die Homologien der beteiligten Kettenkomplexe zurück, in einprägsamer Formulierung besagt er, dass die Homologie eines Tensorproduktes von Kettenkomplexen bis auf Torsion gleich dem Tensorprodukt der Homologien ist. Der Satz von Künneth, der oft auch einfach die Künnethformel genannt wird, ist eine Verallgemeinerung des universellen Koeffiziententheorems.

Tensorprodukte von Kettenkomplexen

[Bearbeiten | Quelltext bearbeiten]

Sind und zwei Kettenkomplexe, so sei das Tensorprodukt der Kettenkomplex mit

, wobei .

Ist speziell ein Kettenkomplex, der nur an 0-ter Stelle einen von 0 verschiedenen Modul hat, so ist der Kettenkomplex

.

Für diesen Kettenkomplex schreibt man abkürzend auch .

Der hier vorzustellende Satz beantwortet die Frage, wie man die Homologie des Tensorproduktes aus der Homologie der Kettenkomplexe berechnen kann. Im Allgemeinen ist die Homologie des Tensorproduktes nicht durch die Homologie von und festgelegt, dazu sind weitere Voraussetzungen an den Ring und an die gegebenen Kettenkomplexe zu stellen. Die einfachste Formel für eine solche Abhängigkeit wäre, dass die -te Homologie des Tensorproduktes isomorph zur direkten Summe der Tensorprodukte der Homologien von und ist. Es stellt sich heraus, dass diese Formel um die direkte Summe der ersten Torsionen der Homologiegruppen erweitert werden muss.

Formulierung des Satzes

[Bearbeiten | Quelltext bearbeiten]

Es seien und zwei Kettenkomplexe von Moduln über einem Hauptidealring und einer der Kettenkomplexe bestehe ausschließlich aus flachen Moduln. Dann gibt es für jede ganze Zahl eine natürliche, kurze exakte Sequenz

.

Diese Sequenz zerfällt, das heißt ist isomorph zu einer direkten Summe der beiden anderen Bestandteile der Sequenz, aber nicht auf natürliche Weise.[1][2]

Der Satz von Eilenberg-Zilber führt die Berechnung der singulären Homologie eines Produktes topologischer Räume auf das Tensorprodukt des singulären Homologien der beteiligten Räume zurück. Der Satz von Künneth ist der bei diesem Satz noch fehlende algebraische Teil, um die Berechnung der Homologie eines Produktraumes zu Ende zu führen.

Das universelle Koeffiziententheorem

[Bearbeiten | Quelltext bearbeiten]

Hat der Kettenkomplex nur an der 0-ten Stelle einen vom Nullmodul verschiedenen Modul , so sind die meisten Summanden aus obiger Künnethformel 0 und man erhält die exakte Sequenz

,

und das ist nichts anderes als das universelle Koeffiziententheorem.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Peter Hilton und Urs Stammbach: A course in homological algebra. Springer-Verlag, Graduate Texts in Mathematics, 1970, ISBN 0-387-90032-2, Kapitel V, Theorem 2.1
  2. Robert M. Switzer: Algebraic Topology – Homotopy and Homology, Springer Grundlehren der mathematischen Wissenschaften, Band 212 (1975), ISBN 3-540-06758-2, Theorem 13.31