Satz von Künneth

mathematischer Satz

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

 
 , 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

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]

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
  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