chain complex

A sequence of Abelian groups (or modules), together with a sequence of homomorphisms (called boundary homomorphisms) between consecutive groups, such that the image of one homomorphism is contained in the kernel of the next.