Algebraic topology
From Academic Kids

Algebraic topology is a branch of mathematics in which tools from abstract algebra are used to study topological spaces.
Contents 
The method of algebraic invariants
The goal is to take topological spaces, and further categorize or classify them. An older name for the subject was combinatorial topology, implying an emphasis on how a space X was constructed from simpler ones. The basic method now applied in algebraic topology is to investigate spaces via algebraic invariants: for example by mapping them to groups, which have a great deal of manageable structure, in a way that respects the relation of homeomorphism of spaces.
Two major ways in which this can be done are through fundamental groups, or more generally homotopy theory, and through homology and cohomology groups. The fundamental groups give us basic information about the structure of a topological space; but they are often nonabelian and can be difficult to work with. The fundamental group of a (finite) simplicial complex does have a finite presentation.
Homology and cohomology groups, on the other hand, are abelian, and in many important cases finitely generated. Finitely generated abelian groups are completely classified and are particularly easy to work with.
Results on homology
Several useful results follow immediately from working with finitely generated abelian groups. The free rank of the nth homology group of a simplicial complex is equal to the nth Betti number, so one can use the homology groups of a simplicial complex to calculate its EulerPoincar characteristic. As another example, the topdimensional integral cohomology group of a closed manifold detects orientability: this group is isomorphic to either the integers or 0, according as the manifold is orientable or not. Thus, a great deal of topological information is encoded in the homology of a given topological space.
Beyond simplicial homology, which is defined only for simplicial complexes, one can use the differential structure of smooth manifolds via de Rham cohomology, or Čech or sheaf cohomology to investigate the solvability of differential equations defined on the manifold in question. De Rham showed that all of these approaches were interrelated and that, for a closed, oriented manifold, the Betti numbers derived through simplicial homology were the same Betti numbers as those derived through de Rham cohomology.
Setting in category theory
In general, all constructions of algebraic topology are functorial: the notions of category, functor and natural transformation originated here. Fundamental groups, homology and cohomology groups are not only invariants of the underlying topological space, in the sense that two topological spaces which are homeomorphic have the same associated groups; a continuous mapping of spaces induces a group homomorphism on the associated groups, and these homomorphisms can be used to show nonexistence (or, much more deeply, existence) of mappings.
The problems of algebraic topology
Classic applications of algebraic topology include:
 The Brouwer fixed point theorem: every continuous map from the unit ndisk to itself has a fixed point.
 The nsphere admits a nowherevanishing continuous unit vector field if and only if n is odd. (For n=2, this is sometimes called the "hairy ball theorem".)
 The BorsukUlam theorem: any continuous map from the nsphere to Euclidean nspace identifies at least one pair of antipodal points.
 Any subgroup of a free group is free. This result is quite interesting, because the statement is purely algebraic yet the simplest proof is topological. Namely, any free group G may be realized as the fundamental group of a graph X. The main theorem on covering spaces tells us that every subgroup H of G is the fundamental group of some covering space Y of X; but every such Y is again a graph. Therefore its fundamental group H is free.
The most celebrated geometric open problem in algebraic topology is the Poincar conjecture, which may have been resolved by Grigori Perelman. The field of homotopy theory contains many mysteries, most famously the right way to describe the homotopy groups of spheres.
See also
References
 Allen Hatcher, Algebraic Topology , Cambridge University Press, Cambridge, 2002. ISBN 0521795400. A modern, geometrically flavored introduction to algebraic topology. The book is available free in PDF and PostScript formats on the author's hompage (http://www.math.cornell.edu/~hatcher/AT/ATpage.html).
 C. R. F. Maunder, Algebraic Topology (1970) Van Nostrand Reinhold, London ISBN 73105346.
Topics in mathematics related to structure  Edit (http://en.wikipedia.org/w/wiki.phtml?title=Template:Structure&action=edit) 
Abstract algebra  Universal algebra  Graph theory  Category theory  Order theory  Model theory  Structural proof theory  
Geometry  Topology  General topology  Algebraic geometry  Algebraic topology  Differential geometry and topology  
Analysis  Measure theory  Functional analysis  Harmonic analysis 
Topics in mathematics related to space  Edit (http://en.wikipedia.org/w/wiki.phtml?title=Template:Space&action=edit) 
Geometry  Trigonometry  NonEuclidean geometry  Fractal geometry  Algebraic geometry  
Topology  Metric geometry  Algebraic topology  Differential geometry and topology  
Linear algebra  Functional analysis 
es:Topologa algebraica fr:Topologie algbrique pl:Topologia algebraiczna ru:Алгебраическая топология