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.

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

editar