Das Phänomen in einer additiven Kategorie (z. B. Modulen), dass A ⊕ C ≅ B ⊕ C nicht impliziert, dass A ≅ B; mit anderen Worten, die Kürzung (Cancellation) bei direkten Summen schlägt fehl und Isomorphie nach Hinzufügen desselben Summanden zwingt nicht zur Isomorphie der ursprünglichen Summanden.

Prinzip

Kürzung beruht auf der Fähigkeit, Summanden in einer direkten Summenzerlegung eindeutig zu erkennen; wenn Kürzung versagt, geht unter Stabilisierung durch einen gemeinsamen Summanden Information über die Summanden verloren, sodass stabile Isomorphie schwächer ist als strikte Isomorphie.

Demonstration

Konkretes Szenario: Über bestimmten Ringen existieren endlich erzeugte projektive Module P und Q mit P ⊕ R^n ≅ Q ⊕ R^n für ein n, doch P ≄ Q. Dagegen gilt Kürzung für endlichdimensionale Vektorräume über einem Körper, da die Dimension ein vollständiges Invariant ist.

Fehlanwendung

Kürzung als allgemeines Werkzeug zu verwenden, ohne Voraussetzungen zu prüfen (z. B. semilokale Ringe, Bedingungen zum stabilen Rang oder Einschränkungen für projektive Klassen) oder aus einer stabilisierten Isomorphie die Eindeutigkeit der Summanden herzuleiten.

Konsequenz

Die Anerkennung des Versagens der Kürzung führt dazu, stabile Äquivalenzklassen von echten Isomorphieklassen zu unterscheiden, motiviert K-theoretische Invarianten und Obstruktionstheorie und beeinflusst Zerlegungssätze und Klassifikationsresultate.

Umkehrung

Kürzung gilt in Kategorien, in denen direkte Summen strikt kontrolliert sind (z. B. endlichdimensionale Vektorräume, einige semiperfekte Ringe), sodass A ⊕ C ≅ B ⊕ C dort A ≅ B impliziert.

Abgrenzung

Dieses Phänomen betrifft additive Kategorien mit direkten Summen; es schließt multiplikative Konstruktionen aus und ist relativ zu bestimmten Objektklassen und Ringen zu betrachten — Kürzung kann für projektive Module gelten und für beliebige Module versagen oder umgekehrt.

Semantische Spannung

Spannung besteht zwischen »stabiler Isomorphie« (Isomorphie nach Hinzufügen eines Summanden) und »strikter Isomorphie«; diese Unterscheidung erfordert feinere Invarianten als bloße Zerlegungszählungen.

Synthese

Das Versagen der Kürzung ist eine konkrete Obstruktion, die zeigt, dass Stabilisierung nichttriviale Unterschiede zwischen Summanden verdecken kann; ihr Verständnis erzwingt feinere Invarianten (stabiler Rang, K-Theorie, Endomorphismenringe) und schärfere Voraussetzungen für Eindeutigkeits­aussagen zur Zerlegung.