Chain complex

Direct sum of chain complexes

Let and be chain complexes in an abelian category . Then one may define the direct sum complex by #m/def/homology

Properties

  1. is exact iff and are exact.
Proof

Note that . Similarly . From this the statement ^P1 is clear.

#state/tidy | #lang/en | #SemBr