 ##  [Espacio de Eilenberg–MacLane (K(G,N))](/es/node/63094) 

  ##  [Espacio de Eilenberg–MacLane (K(G,N))](https://puremath.quantumdictionary.io/es/node/63095) 

  
 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 
Definición

Un espacio topológico (a menudo un complejo CW) K(G,n) cuyo único grupo de homotopía no trivial es πn(K(G,n)) ≅ G y tal que πk = 0 para k ≠ n; sirve como espacio canónico que representa la cohomología con coeficientes en G (para n ≥ 1).