Sucesión exacta
De Wikipedia, la enciclopedia libre
En álgebra abstracta un conjunto consistente de estructuras algebraicas (ya sea grupos o anillos o módulos o espacios vectoriales) y δi morfismos (según sea la categoría) que forman una cadena compleja:
y que satisfacen:
para todas las n 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.