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
Sind und zwei Kettenkomplexe, so sei das Tensorprodukt der Kettenkomplex mit
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
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.
Bedeutung Bearbeiten
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
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
- 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
- Robert M. Switzer: Algebraic Topology – Homotopy and Homology, Springer Grundlehren der mathematischen Wissenschaften, Band 212 (1975), ISBN 3-540-06758-2, Theorem 13.31