An infinite sequence of homomorphisms of modules or additive Abelian groups
|
(1)
|
such that, for all indices ,
|
(2)
|
In other words, a long exact sequence is a chain complex such that for all , the
th homology module (or group)
|
(3)
|
is the zero module (or the zero group).