The algebra was abstracted from the topology
Chain complexes, homotopy, exact sequences and derived functors were all abstracted from constructions on spaces. The dictionary runs in both directions: a space gives a chain complex whose homology is a topological invariant, and a group gives a space — its classifying space — whose homology is the group's. Knowing which side a given theorem lives on, and how it translates, is often the fastest route to understanding why it is true.
Learning objectives
- State the dictionary between topological and algebraic constructions.
- Explain the role of the Eilenberg–Zilber theorem.
- Describe classifying spaces and Eilenberg–MacLane spaces.
- Identify which spectral sequences correspond to which geometric situations.
Section 01The dictionary
| Topology | Algebra |
|---|---|
| Singular chain complex of a space | A chain complex of free abelian groups |
| Continuous map | Chain map |
| Homotopy of maps | Chain homotopy |
| Homotopy equivalence | Chain homotopy equivalence |
| Long exact sequence of a pair | Long exact homology sequence |
| Mayer–Vietoris | The sequence of a short exact sequence of complexes |
| Universal coefficients | Ext and Tor corrections |
| Product of spaces | Tensor product of complexes, via Eilenberg–Zilber |
| Classifying space BG | Bar resolution over ℤ[G] |
| Fibration | Grothendieck spectral sequence, via Serre |
| CW structure | A small free resolution |
Homotopic maps of spaces induce chain homotopic maps on singular chains, hence agree on homology. The algebraic notion was defined precisely to capture that, and the fact that additive functors preserve it — which makes derived functors well defined — is the algebraic residue of homotopy invariance.
Section 02Eilenberg–Zilber and Künneth
The singular chain complex of a product is not the tensor product of the chain complexes, but the Eilenberg–Zilber theorem provides a natural chain homotopy equivalence between them.
- Stage 01Eilenberg–ZilberS(X × Y) is chain homotopy equivalent to S(X) ⊗ S(Y), naturally, via the Alexander–Whitney and shuffle maps.
- Stage 02KünnethCompute the homology of the tensor product from the homologies of the factors, with a Tor correction.
- Stage 03CompositeH*(X × Y) in terms of H*(X) and H*(Y).
- Stage 04DiagonalComposing with the diagonal map gives the cup product on cohomology.
The topological statement about products needs both: Eilenberg–Zilber is the geometry, Künneth the algebra. Sources sometimes call the composite the Künneth theorem, which obscures that the algebraic half holds for arbitrary complexes with no topology at all.
Section 03Classifying spaces
For a discrete group G, the classifying space BG is an Eilenberg–MacLane space K(G, 1): connected, with fundamental group G and contractible universal cover. Its homology is the group homology of G, and the cellular chains of the universal cover form a free resolution of ℤ over ℤ[G].
| Group | Classifying space | Consequence |
|---|---|---|
| ℤ | Circle | Hn = 0 for n ≥ 2 |
| Free group of rank n | Wedge of n circles | Cohomological dimension 1 |
| ℤn | n-torus | Exterior algebra cohomology |
| ℤ/2 | Infinite real projective space | Non-zero cohomology in every degree |
| Surface group of genus g | The surface itself | Poincaré duality group of dimension 2 |
| Torsion-free group acting freely on a contractible complex | The quotient | Finite cohomological dimension |
A group with torsion has non-vanishing cohomology in infinitely many degrees, so its classifying space cannot be finite-dimensional. This is why finiteness conditions on groups and the presence of torsion are so tightly linked.
ReferenceFrequently asked questions
Does every homological theorem have a topological counterpart?
Many do, but not all. Purely ring-theoretic results — Hilbert's syzygy theorem, characterisations of regular local rings — have no direct topological reading, though analogies via commutative algebra and geometry exist.
Why is the bar resolution the same as the classifying space?
Because the nerve of the one-object category associated with G has n-simplices indexed by n-tuples of group elements, which are exactly the free generators of the bar resolution in degree n. The simplicial identities become the differential.
Which came first?
The topology. Singular homology, exact sequences and the Künneth formula were established for spaces before Cartan and Eilenberg abstracted the algebra in the 1950s. The abstraction then paid back by applying to sheaves, groups and Lie algebras.
NavigateContinue in this stream
Curated next steps from this page. The site also surfaces algorithmically related reading below.
ProvenanceSources and further reading
This page is an original KEVOS explanatory article. It presents the underlying mathematics — definitions, algorithms, complexity results and selection criteria — in KEVOS editorial voice. No text is reproduced from any copyrighted source. Where numerical tables are relevant, KEVOS links to live authoritative databases rather than republishing static values.