Eilenberg–MacLane space (source code)

= Eilenberg–MacLane space
{c}
{title2=$K(A,n)$}
{wiki}

A connected Eilenberg–MacLane space $K(G,n)$, $n\geq1$, has $\pi_n\cong G$ and all other positive-degree <homotopy groups> trivial. The group $G$ must be abelian when $n\geq2$, but may be nonabelian when $n=1$. For an <abelian group>, the <Dold–Kan correspondence> constructs a simplicial model from the <chain complex> concentrated in degree $n$. A <classifying space of a discrete group> gives the general $K(G,1)$ case.