A situation in an additive category where an object admits two decompositions as a finite direct sum of indecomposable objects that are not pairwise isomorphic, violating the uniqueness clause of the Krull–Schmidt theorem.

Principle

Krull–Schmidt uniqueness holds under finiteness and endomorphism-ring conditions (e.g., objects of finite length or categories with semiperfect endomorphism rings); failure occurs when these hypotheses are absent and nonuniqueness of indecomposable summands can arise.

Demonstration

Illustrative scenario: in certain additive categories without appropriate finiteness — for example, categories of modules over rings with nonsemiperfect endomorphism rings or some categories of infinite-length modules — one can construct an object with two inequivalent finite decompositions into indecomposables, exhibiting explicit nonunique summands and incompatible multiplicities.

Misapplication

Reporting Krull–Schmidt failure in settings that satisfy the standard hypotheses (finite length modules, artinian semiperfect rings) is a mistake; conversely, assuming Krull–Schmidt applies without checking finiteness or semiperfectness leads to incorrect decompositions.

Consequence

When Krull–Schmidt fails, structural arguments that rely on unique indecomposable summands break down: classification by summands, counting multiplicities, or comparing objects via summand isomorphism can no longer be used reliably, forcing alternate invariants or finer categorical techniques.

Reversal

The reversal is the Krull–Schmidt property: every object decomposes as a finite direct sum of indecomposables with uniqueness up to permutation and isomorphism of summands; this property restores rigid control over decompositions.

Boundary

Scope and exclusions: the phenomenon concerns additive categories with direct-sum decompositions; it excludes categories where decompositions are infinite by design (purely infinite direct-sum contexts) unless one specifically restricts to finite decompositions, and it is about uniqueness failure, not mere nonexistence of decompositions.

Semantic Tension

Semantic tension exists between 'existence of decomposition' and 'uniqueness of decomposition': some contexts guarantee existence but not uniqueness, others guarantee uniqueness only under additional local endomorphism hypotheses, and conflating these leads to confusion.

Synthesis

Krull–Schmidt failure marks the breakdown of uniqueness for finite direct-sum decompositions into indecomposables in additive categories lacking the usual finiteness or endomorphism-ring hypotheses, forcing reliance on alternative structural descriptors and careful checking of hypotheses before applying decomposition-based arguments.