Extensión No Escindida

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.