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

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

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

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

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

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

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

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

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.