Homology

HomePage | Recent changes | View source | Discuss this page | Page history | Log in |

Printable version | Disclaimers | Privacy policy

In mathematics, a chain complex is a generalization of an exact sequence. In a chain complex the image of one mapping does not have to be the kernel of the next, but the image must be contained in the kernel of the next. Equivalently, composition of mappings is always the zero map.

The kernel of one mapping divided by the image of the previous one is called the "homology group" ("homology ring", "homology module" etc.). These measure how much the chain complex is inexact.

One example of chain complexes are the simplicial complexes of algebraic topology. The n-th module is the free module whose generators are the n-dimensional simplexes. The mapping is the one sending the simplex (a[1], a[2], ..., a[n]) to the sum of (-1)i (a[1], ..., a[i-1], a[i+1], ..., a[n]) from i = 0 to i = n. If we take the modules to be over a field, then the dimension is the number of "holes" of that dimension.