The primary method of algebraic topology is to identify some kind of relation between a group (or a ring or other structure) and a topological space. Once such a relation is established, known results in one field can yield results in the other field.
Important results in this field include the Poincare conjecture, the unclassifiable nature of four-dimensional manifolds, and the proof that subgroups of free groups are necessarily free themselves.
The Homotopy Groups
One of the most elementary tools in algebraic topology is the fundamental group, which is symbolized by for a given topological space . Some details must be ironed out: for example, the investigation of loops which are very similar gives no insight into the structure of the space, so we work instead with sets of loops called homotopy classes.
The formal definition is as follows: Let be a fixed point in . Consider the space of all curves which begin and end at . We consider two such curves to be (homotopically) equivalent if we can continuously deform the first curve into the second; that is to say, we consider to be equivalent to if there exists a mapping with and . We can define an group structure on the resulting equivalence class of curves by declaring to be the curve followed by , and rescaled so that the resulting curve still has domain . This group is called the fundamental group of .
Higher homotopy groups can be defined, and are written as . These are defined in just the same way, except we consider maps instead.
A very important example is the topological space , the circle. It can be shown that the fundamental group of is isomorphic to the additive group of integers . Other examples include the torus, , which is the free abelian group on generators, the sphere
where the former is the group with one element.
The Homology Groups
Homology groups, while lacking the simple definition of the homotopy groups, tend to be more studied and more useful for classification of topological spaces. There are several approaches to the study of homology: simplicial, which forms groups out of chain complexes, and de Rham, which forms groups from differential forms.