Espacio de Eilenberg–MacLane (K(G,N))
- Mathematics & 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).