Is the classifying space $B^nG$ the Eilenberg-MacLane space $K(G, n)$?

Question

Question: How should we interpret and understand the classifying space $B^nG$? Is that Eilenberg-MacLane space $K(G,n)$?

What one can learn about $BG$ follows the basic: A classifying space $BG$ of a topological group $G$ is the quotient of a weakly contractible space $EG$ (i.e. a topological space for which all its homotopy groups are trivial) by a free action of $G$. It has the property that any $G$ principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle $EG \to BG$. For a discrete group $G$, $BG$ is, roughly speaking, a path-connected topological space $X$ such that the fundamental group of $X$ is isomorphic to $G$ and the higher homotopy groups of $X$ are trivial, that is, $BG$ is an Eilenberg-MacLane space, or a $K(G,1)$.

So if $G$ is a finite discrete group, what are the conditions of the higher homotopy groups of $B^nG$?

Answer 1

If $G$ is a topological group, then there is a universal principal $G$-bundle $EG \to BG$ where $EG$ is weakly contractible. Using the long exact sequence in homotopy, we see that

$$\dots \to \pi_{i+1}(EG) \to \pi_{i+1}(BG) \to \pi_i(G) \to \pi_i(EG) \to \dots$$

As $EG$ is weakly contractible, $\pi_{i+1}(EG) = 0$ and $\pi_i(EG) = 0$, so $\pi_{i+1}(BG) = \pi_i(G)$.

Now, if $BG$ is a topological group (which happens if and only if $G$ is an $E_2$ space), then the above argument shows that $\pi_{i+2}(B^2G) = \pi_{i+2}(B(BG)) = \pi_{i+1}(BG) = \pi_i(G)$.

In general, if $G$ is an $E_k$ space, then $B^kG$ is defined and satisfies $\pi_{i+k}(B^kG) = \pi_i(G)$.

If $G$ is a discrete group, then $\pi_0(G) = G$ and $\pi_i(G) = 0$ for $i > 0$, so $\pi_k(B^kG) = G$ and $\pi_i(B^kG) = 0$ for $i \neq k$. Therefore $B^kG$ is an Eilenberg-MacLane space $K(G, n)$.