Successió exacta

De la Viquipèdia, l'enciclopèdia lliure

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[modifica]

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]