A structural condition in which an object of a linear or additive category (for example a module or a group representation) cannot be expressed as a direct sum of irreducible (simple) subobjects; equivalently, the object is not semisimple and invariant complements to subobjects need not exist.

Principle

The organizing idea is that existence of invariant complements (splittings) is the decisive property: complete reducibility holds exactly when every subobject admits a complement, and fails when nontrivial extension classes obstruct such complements.

Demonstration

Concrete instance: for a finite group G over a field k whose characteristic divides |G|, the group algebra kG is not semisimple and there exist kG-modules that cannot be written as direct sums of simple modules (one sees Jordan-block-type indecomposables).

Misapplication

Treating failure of complete reducibility as mere pathology and discarding all resulting objects; for example assuming every finite-dimensional representation over any field splits and thereby overlooking extension classes (nonzero Ext^1) that control important arithmetic or geometric phenomena.

Consequence

When complete reducibility fails one expects nonzero extension classes, blocks in the module category, indecomposable but reducible modules, and a richer homological theory (nontrivial radicals and projective covers) rather than a simple classification by irreducibles.

Reversal

The inverse situation is semisimplicity or complete reducibility: every object decomposes into a direct sum of simple objects and extension groups Ext^1 between distinct simples vanish.

Boundary

Applies to objects in additive/abelian categories (representations, modules, perverse sheaves, etc.); excludes contexts where one replaces direct-sum decomposition by composition series or where infinite direct sums/products change decomposition behavior. It also excludes purely operator-theoretic notions of 'reducibility' for single linear operators unless cast in a module-theoretic framework.

Semantic Tension

This term competes with notions like 'indecomposable' (cannot be written as direct sum of two nonzero objects) and 'reducible' for linear operators; the tension is between failure of global semisimplicity (extensions present) and local indecomposability (blocks that are themselves composed of simples).

Synthesis

Failure of complete reducibility is the condition that nontrivial extension data prevent splitting into simples; it signals the presence of a nonzero radical and forces one to study extension classes, block structure, and homological invariants instead of relying on a simple list of irreducibles.