Topology borrowed algebra to count holes in space
Algebraic topology attaches groups to shapes so that continuous deformation becomes algebra. Homotopy, homology, and cohomology turn questions about loops and cavities into calculations—and the same toolkit sometimes feeds clean theorems straight back into pure algebra itself.
The aim is algebraic invariants that classify spaces up to homeomorphism, or more often up to homotopy equivalence. Homotopy groups begin with the fundamental group, which records loops; higher groups probe higher-dimensional holes. Homology assigns a sequence of abelian groups or modules to a space (or even to a group). Cohomology dualizes the construction with cochains, cocycles, and coboundaries, often carrying richer algebraic structure. Manifolds—spaces that look locally like Euclidean space—are frequent test cases; Poincaré duality is a global, non-smooth highlight. Knot theory studies circles embedded in three-space up to ambient isotopy, the mathematical version of moving a closed string without cutting it.
Combinatorial models make calculation possible. Simplicial complexes glue points, edges, triangles, and higher simplices; CW complexes, introduced by J. H. C. Whitehead for homotopy theory, are broader yet still combinatorial and often smaller. An older name for the field was combinatorial topology, stressing construction from simple pieces. In the 1920s and 1930s the emphasis shifted toward assigning algebraic groups to spaces, and the name algebraic topology stuck. Fundamental groups can be nonabelian and hard; homology and cohomology groups are abelian, and when finitely generated they fall under a complete classification.
The whole toolkit is functorial: continuous maps induce group homomorphisms, so invariants detect when maps cannot exist. Category, functor, and natural transformation grew from this setting. Georges de Rham related differential forms on manifolds to topological Betti numbers; in the 1950s Eilenberg and Steenrod axiomatized homology and cohomology and proved uniqueness under those axioms. Applications include a geometric route to the fundamental theorem of algebra, the Brouwer fixed-point theorem, Euler characteristics via Betti numbers, orientability tests from top homology, and the hairy-ball fact that even-dimensional spheres have no nowhere-zero continuous unit vector field. Algebra and topology keep trading punches.
Source: Algebraic topology
