Una situación estructural en la que un objeto de una categoría lineal o aditiva (por ejemplo un módulo o una representación de grupo) no puede expresarse como suma directa de subobjetos irreducibles (simples); es decir, el objeto no es semisimple y es posible que no existan complementos invariantes para sus subobjetos.

Principio

La idea organizadora es que la existencia de complementos invariantes (escindimientos) es la propiedad decisiva: la reducibilidad completa se cumple exactamente cuando todo subobjeto admite un complemento, y falla cuando clases de extensión no triviales obstaculizan dichos complementos.

Demostración

Instancia concreta: para un grupo finito G sobre un cuerpo k cuya característica divide |G|, el álgebra de grupos kG no es semisimple y existen kG-módulos que no se escriben como sumas directas de módulos simples (aparecen indecomponibles tipo bloques de Jordan).

Aplicación incorrecta

Considerar la falla de la reducibilidad completa como una mera anomalía y descartar los objetos afectados; por ejemplo suponer que toda representación de dimensión finita sobre cualquier cuerpo se escinde y de ese modo pasar por alto clases de extensión (Ext^1 no nulas) que controlan fenómenos aritméticos o geométricos importantes.

Consecuencia

Cuando la reducibilidad completa falla, cabe esperar clases de extensión no nulas, bloques en la categoría de módulos, módulos indecomponibles pero reductibles, y una teoría homológica más rica (radicales no triviales, cubiertas proyectivas) en lugar de una clasificación simple por irreducibles.

Inversión

La situación inversa es la semisimplicidad o reducibilidad completa: todo objeto se descompone en suma directa de objetos simples y Ext^1 entre simples distintos se anula.

Límite

Se aplica a objetos en categorías aditivas/abelianas (representaciones, módulos, haces perversos, etc.); excluye contextos en los que se sustituye la descomposición en suma directa por series de composición o donde sumas/directas infinitas alteran el comportamiento. Tampoco incluye nociones puramente operatorias de 'reducibilidad' de un operador lineal individual salvo que se formulen como problemas modulares.

Tensión semántica

El término compite con nociones como 'indecomponible' (no puede escribirse como suma directa de dos objetos no nulos) y con 'reducible' en teoría de operadores; la tensión está entre la ausencia de semisimplicidad global (presencia de extensiones) y la indecomponibilidad local (bloques que contienen simples).

Síntesis

La falla de la reducibilidad completa indica que datos de extensión no triviales impiden la escisión en simples; señala la presencia de un radical no nulo y obliga a estudiar clases de extensión, estructura de bloques e invariantes homológicos en lugar de confiar en una simple lista de irreducibles.