Sucesión exacta

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En álgebra abstracta un conjunto consistente de estructuras algebraicas (ya sea grupos o anillos o módulos o espacios vectoriales) y morfismos (según sea la categoría) que forman un complejo de cadenas

y que satisfacen

para todas las 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.

tipos[editar]

Una sucesión exacta corta es una sucesión que es exacta. Esto es lo mismo a pedir que

  • es inyectiva
  • induce un isormofismo tal que .
  • es sobreyectiva.

Véase también[editar]