## [Fallo de la Reducibilidad Completa](/es/node/62480) Definición 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 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 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 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 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 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 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 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 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.