sucesión exacta

En álgebra abstracta un conjunto consistente de estructuras algebraicas(ya sea grupos o anillos o módulos o espacios vectoriales) y morfismos (según sea la categoría) que forman un complejo de cadenas y que satisfacen para todas las se dice que forman una sucesión exacta. Esto significa que todos los son triviales (=0).Este concepto se debe a Witold Hurewicz desde 1941.