Homology (mathematics)
In mathematics, the term homology, originally introduced in algebraic topology, has three primary, closely related usages. First, there is the homology of a chain complex, a sequence of abelian groups, called homology groups, which are regarded as fundamental invariants of the chain complex. Secondly, when one can associate a chain complex to a different mathematical object, one can also associate its homology to that object. Distinct procedures of associating chain complexes to a given object are grouped into homology theories. Finally, homology is important in the study of topological spaces. Under nice conditions in which distinct homology theories for a single topological space produce the same homology groups, one can define a single homology of a topological space. This last notion of homology is closely related to topological ideas frequently discussed in popular mathematics such as the holes of a surface or the cycles of a graph. There is also a related notion of the cohomology of a cochain complex, giving rise to various cohomology theories, in addition to the notion of the cohomology of a topological space.
Homology of chain complexes
[edit]We start with a chain complex, which is a sequence of abelian groups (whose elements are called
