Ein Satz, der Homologie (oder Kohomologie) mit beliebigen Koeffizienten mit Homologie (oder Kohomologie) mit Basiskoeffizienten durch kurze exakte Folgen verbindet, die Tor- und Ext- (bzw. Hom-)Terme enthalten, welche Erweiterungs- und Torsionsphänomene messen.

Prinzip

Drücke Gruppen mit verdrehten oder neuen Koeffizienten in Begriffen der bekannten Homologie mit einfacheren Koeffizienten aus, ergänzt um universelle Erweiterungs- und Torsionskorrekturen (Tor für Homologie, Ext oder Hom für Kohomologie).

Demonstration

Für einen Kettenkomplex C aus freien abelschen Gruppen und eine abelsche Gruppe G gibt es eine kurze exakte Folge 0 → H_n(C) ⊗ G → H_n(C;G) → Tor_1(H_{n-1}(C),G) → 0; diese Folge beschreibt die Homologie mit Koeffizienten in G in Begriffen der integralen Homologie und Tor.

Fehlanwendung

Zu behaupten, die Folge spalte kanonisch oder den Satz anzuwenden, ohne Finitheit, Projektivität oder gradweise Freizustellung zu prüfen, führt zu falschen Zerlegungen oder zum Weglassen von Torsionsanteilen.

Konsequenz

Bei korrekter Anwendung ermöglicht der Satz systematische Berechnung von Homologie/Kohomologie mit beliebigen Koeffizienten aus integralen oder Basisberechnungen und macht deutlich, wo Torsions- und Erweiterungshindernisse auftreten.

Umkehrung

Umgekehrt betrachtet behindert Torsion in der Homologie die naive Erweiterung von Koeffizienten: Nichtverschwindende Tor- oder Ext-Terme zeigen, dass der Übergang zu neuen Koeffizienten nicht durch einfaches Tensorieren oder Hom ohne Korrekturen möglich ist.

Abgrenzung

Gilt unter Voraussetzungen wie Arbeiten mit Kettenkomplexen freier (oder projektiver) Moduln oder in Kontexten, in denen abgeleitete Tensor-/Hom-Funktoren erwartungsgemäß berechnet werden; liefert nicht unmittelbar eine explizite Zerlegung oder höhere abgeleitete Funktorstrukturen über die ersten Tor/Ext-Korrekturen hinaus.

Semantische Spannung

Spannung zwischen dem Satz als rechenpraktischer Reduktion (praktische kurze exakte Folge) und als abstraktem abgeleiteten-Funktoren-Aussage (Identität des abgeleiteten Tensor/Hom), die unterschiedliche kategoriale Ebenen betont.

Synthese

Das Universelle Koeffizienten-Theorem reduziert Homologie oder Kohomologie mit beliebigen Koeffizienten auf Basis-Homologie zuzüglich expliziter Tor/Ext-Korrekturterme und macht sichtbar, wie Torsion und Erweiterung den Koeffizientenwechsel steuern.