Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
|
| gptkbp:abbreviation |
gptkb:K(G,_n)
|
| gptkbp:category |
gptkb:homotopy_category
|
| gptkbp:citation |
gptkb:Eilenberg,_S.;_Mac_Lane,_S._(1945)._"Relations_between_homology_and_homotopy_groups_of_spaces"._Annals_of_Mathematics.
|
| gptkbp:definedIn |
group G and integer n ≥ 1
|
| gptkbp:example |
K(ℤ, 2) is the infinite-dimensional complex projective space
K(ℤ, 1) is the circle S^1 K(ℤ/2ℤ, 1) is the infinite real projective space |
| gptkbp:field |
gptkb:topology
homotopy theory |
| gptkbp:introducedIn |
1945
|
| gptkbp:namedAfter |
gptkb:Saunders_Mac_Lane
gptkb:Samuel_Eilenberg |
| gptkbp:property |
π_k(K(G, n)) = 0 for k ≠ n
π_n(K(G, n)) ≅ G |
| gptkbp:usedIn |
gptkb:Postnikov_systems
gptkb:cohomology_theory gptkb:model_category_theory homotopy theory classifying spaces spectral sequences |
| gptkbp:bfsParent |
gptkb:Saunders_Mac_Lane
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Eilenberg–Mac Lane space
|