Chain complex

cosmos 15th November 2017 at 2:39pm
Homological algebra Homology

Definition. A chain complex is a sequence of Abelian groups with maps

...Ci2i1Ci1iCii+1Ci+1......\leftarrow C_{i-2} \leftarrow_{\partial_{i-1}} C_{i-1} \leftarrow_{\partial_i} C_i \leftarrow_{\partial_{i+1}} C_{i+1} \leftarrow ...

s.t. i1i=0\partial_{i-1}\partial_i = 0 i\forall i. "the boundary of a boundary is 00". 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 Zn:=Ker(n)Z_n:= Ker(\partial_n) (the kernel)

The group of n-boundaries is Bn:=Im(n+1)B_n:= Im(\partial_{n+1}) (the image)

For e.g. in case C22C11C0C_2 \to_{\partial_2} C_1 \to_{\partial_1} C_0 (eg in Hatcher), The homology group is then defined as above: the kernel of 1\partial_1 modulo the image of 2\partial_2 , 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).

Videobook