## [Extensión No Escindida](/es/node/62464) Definición Una extensión exacta 0 -> A -> E -> B -> 0 que no es isomorfa a la extensión directa o trivial A ⊕ B (o al producto semidirecto/trivial en la categoría relevante); equivalentemente, su clase en el grupo Ext o de clasificación apropiado es no nula. ## Principio Principio Las extensiones no escindidas representan maneras genuinas de ensamblar A y B en un nuevo objeto que no es una suma directa; corresponden a elementos no triviales de los grupos de extensión y codifican datos adicionales de interacción (extensiones de módulos, extensiones de grupos no triviales, objetos indecomponibles). ## Demostración Demostración Una sucesión exacta corta de grupos abelianos que no admite una sección produce una extensión no escindida: una clase no nula en Ext^1(B,A) genera un E no isomorfo a A ⊕ B; de forma similar, extensiones de grupos no triviales producen grupos que no son productos directos. ## Aplicación incorrecta Aplicación incorrecta Etiquetar cada objeto medio E no isomorfo como una extensión no escindida sin verificar si existe una escisión hasta isomorfismo; o confundir 'no escindida' con 'no simple' o 'indecomponible', puesto que una extensión no escindida puede todavía descomponerse de otras maneras en una categoría más amplia. ## Consecuencia Consecuencia Las extensiones no escindidas crean nuevas estructuras algebraicas y a menudo dan lugar a objetos indecomponibles o verdaderamente nuevos; su clasificación vía grupos Ext informa la teoría de módulos, la teoría de representaciones y el álgebra homológica al revelar datos de extensión ocultos. ## Inversión Inversión La reversa es una extensión escindida: la sucesión exacta es isomorfa a la suma directa o admite una sección y por tanto corresponde a la clase cero en Ext; cambiar de perspectiva pone en relieve el papel de la clase de extensión trivial como línea divisoria. ## Límite Límite Se aplica en categorías abelianas y en muchas teorías de extensión no abelianas, pero el significado de 'escindida' depende del contexto categórico (existencia de secciones, estructuras de producto semidirecto o isomorfismo a un producto), por lo que se requiere cuidado al cambiar de contexto. ## Tensión semántica Tensión semántica Existe tensión entre la noción de 'no escindida' y nociones relacionadas como 'indecomponible' o 'no trivial hasta isomorfismo'; aunque relacionadas, 'no escindida' se refiere específicamente al fallo en admitir un morfismo de escisión o una clase trivial, no a todas las formas de no trivialidad. ## Síntesis Síntesis Una extensión no escindida es una sucesión exacta cuya clase de extensión es no nula, produciendo un objeto medio E que realmente pega A y B en lugar de descomponerse como suma directa; es el testigo algebraico de un pegado no trivial.