En àlgebra abstracta un conjunt consistent en estructures algebraiques (ja siguin grups o anells o mòduls o espais vectorials) i morfismes (segons quina sigui la categoria) que formen un complex de cadenes
i que satisfan
per a totes les , es diu que formen una successió exacta.
Això significa que tots els grups d'homologia són trivials (=0). Aquest concepte es deu a Witold Hurewicz des de 1941.
Tipus Una successió exacta curta és una successió que és exacta. Això és el mateix a demanar que és injectiva indueix un isomofisme tal que . és exhaustiva.
Vegeu també Complex de cadenes
Categoria:Successions Categoria:Topologia algebraica