Successió exacta

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.

TipusModifica

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éModifica