Eilenberg–MacLane Space
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A topological (often CW) space K(G,n) whose only nontrivial homotopy group is πn(K(G,n)) ≅ G and πk = 0 for k ≠ n; it serves as a canonical space representing cohomology with coefficients in G (for n ≥ 1).