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 homology Properties is exact iff and are exact. Proof Note that . Similarly . From this the statement ^P1 is clear. tidy | en | sembr