Eilenberg–MacLane space (source code)

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

For an <abelian group> $A$, an Eilenberg–MacLane space $K(A,n)$ has $\pi_n\cong A$ and all other homotopy groups trivial. In the simplicial model it is $K(A[n])$, where $A[n]$ is the chain complex concentrated in degree $n$.