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 grupos de homología son triviales (=0). Este concepto se debe a Witold Hurewicz desde 1941.
Tipos Una sucesión exacta corta es una sucesión que es exacta. Esto es lo mismo a pedir que es inyectiva induce un isormofismo tal que . es sobreyectiva.
Véase también complejo de cadenas
Sucesion exacta Categoría:Topología algebraica