Algebraic topology

Algebraic topology is a branch of mathematics that uses abstract algebra to understand topological spaces, and topology to understand abstract algebra.

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[edit]

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[edit]

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.