En álgebra abstracta un conjunto { A i, δ i } {\displaystyle \{A_{i},\,\delta _{i}\}} consistente de estructuras algebraicas y δ i {\displaystyle \delta _{i}} morfismos que forman un complejo de cadenas … → A n + 1 → δ n + 1 A n → δ n A n − 1 → … {\displaystyle \ldots \to A_{n+1}{\overset {\delta _{n+1}}{\to }}A_{n}{\overset {\delta _{n}}{\to }}A_{n-1}\to \ldots } y que satisfacen im δ n = ker δ n + 1 {\displaystyle {\textrm {im}}\,\delta _{n}={\textrm {ker}}\,\delta _{n+1}} para todas las n {\displaystyle n} se dice que forman una sucesión exacta. Wikipedia