Versagen der Kürzungseigenschaft

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.