Definition. A chain complex is a sequence of Abelian groups with maps
s.t. . "the boundary of a boundary is ". In the case of Homology, the maps are the Boundary maps between Chain groups. Proof that d^2 is 0 for boundary maps
The group of n-cycles is (the kernel)
The group of n-boundaries is (the image)
For e.g. in case (eg in Hatcher), The homology group is then defined as above: the kernel of modulo the image of , or in other words, the 1 dimensional cycles modulo those that are boundaries (remember "modulo" for groups means that that two elements are equivalent if we can add/substract elements in the group of boundaries to get from one to the other).