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).

Prinzip

Die ganze Homotopieinformation auf einen einzigen Grad konzentrieren: einen Raum konstruieren, der bis auf Homotopieäquivalenz durch eine einzige Gruppe im Grad n bestimmt ist; für n > 1 muss G abelsch sein, was die höhere Homotopie‑Kommutatitivität widerspiegelt.

Demonstration

Beispiele: K(Z,1) ≃ S^1 (Kreis), K(Z,2) ≃ CP^∞ (Klassifizierender Raum von S^1). Für eine diskrete Gruppe G ist K(G,1) ein Modell eines BG mit Fundamentalgruppe G und verschwindenden höheren Homotopiegruppen.

Fehlanwendung

Ein beliebiger Raum mit nur einer nichttrivialen Homologiegruppe als Eilenberg–MacLane‑Raum zu behandeln oder anzunehmen, alle Sphären seien K(G,n); solche Irrtümer übersehen die strengere Bedingung an Homotopiegruppen und die Abelschheitsforderung für n > 1.

Konsequenz

Eilenberg–MacLane‑Räume repräsentieren Kohomologie: Homotopieklassen [X,K(G,n)] entsprechen natürlich H^n(X;G). Sie sind Bausteine für Postnikov‑Türme und für die Konstruktion verallgemeinerter Kohomologietheorien.

Umkehrung

Erlaubt man mehrere nichttriviale Homotopiegruppen, so erhält man Postnikov‑Abschnitte oder komplexere Räume; die Aufhebung der 'ein Gruppen‑Bedingung' führt zu allgemeinen CW‑Komplexen mit reichhaltigen Homotopietypen statt universeller Testobjekte für einen einzigen Grad.

Abgrenzung

Definiert in der Homotopietheorie für n ≥ 1; für n = 0 ist K(G,0) ein diskreter Raum mit Komponentenmenge G. Für n > 1 muss G abelsch sein; die Definition nimmt einen homotopischen Kontext an und verwendet meist CW‑Modelle oder andere wohlverhaltende Modelle, um pathologische Fälle zu vermeiden.

Semantische Spannung

Spannung besteht zwischen Eilenberg–MacLane‑Räumen und Sphären: beide können nur in Sonderfällen eine einzelne nichttriviale Homotopiegruppe haben (z. B. S^1 = K(Z,1)). Ebenso besteht ein Spannungsfeld zwischen homologie‑orientierter Intuition und der homotopiezentrierten Definition — verschwindende Homologie bedeutet nicht K(G,n)-Struktur.

Synthese

Ein Eilenberg–MacLane‑Raum ist das kanonische homotopietheoretische Objekt, das alle homotopischen Informationen in einem Grad konzentriert: als Repräsentant der Kohomologie und als Baustein von Postnikov‑Türmen liefert er universelle Testräume, unter Beachtung der Abelschheitsbedingung für höhere Grade und modelltheoretischer Vorbehalte.