$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Construction (Eilenberg-MacLane Spaces). Let $G$ be an abelian group, let $n$ be a nonnegative integer, and let $G[n]$ denote the chain complex consisting of the single abelian group $G$, concentrated in degree $n$ (Example We will denote the simplicial abelian group $\mathrm{K}( G[n] )$ by $\mathrm{K}(G,n)$ and refer to it as the $n$th Eilenberg-MacLane space of $G$.

For small values of $n$, it will be useful to consider allow more general coefficients.

  • If $G$ is any group (not necessarily abelian), we let $\mathrm{K}(G,1)$ denote the classifying simplicial set $B_{\bullet }(G)$ (Construction

  • If $G$ is any set, we let $\mathrm{K}(G,0)$ denote the constant simplicial set $\underline{G}$ (Construction

By virtue of Examples and, this recovers the first definition in the case where $G$ is an abelian group.