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).