Eilenberg–MacLane‑Raum (K(G,N))

- Mathematics & Logic -
Pure Mathematics Dictionary
Ein topologischer (häufig CW‑)Raum K(G,n), dessen einzig nichttriviale Homotopiegruppe πn(K(G,n)) ≅ G ist und für k ≠ n gilt πk = 0; er dient als kanonischer Raum, der Kohomologie mit Koeffizienten in G repräsentiert (für n ≥ 1).