Is the $E_\infty$-structure on the cochain complex of a $K(G,n)$ readily understandable? One way to construct an $E_\infty$-algebra is to consider the cochain complex $C^*(X;M)$ for $X$ a topological space and $M$ a module over some ring $\Lambda$. From what I can recall, the $E_\infty$-algebra structure should contain the homotopy type of $X$. If $X$ is a $K(G,n)$, can the $E_\infty$-structure on
$$
C^*(K;\mathbb{Z})
$$
be made explicit?
 A: There is a very general framework that gives the $E_\infty$ structure on cochains in McClure and Smith's "Multivariable cochains and little $n$-cubes", with formulas comparable to the Alexander-Whitney diagonal. Roughly, the $E_\infty$ structure is given by a collection of operations as follows:
(Warning: I am completely ignoring signs here. They are unpleasant, and McClure-Smith do them more carefully.)


*

*Every operation takes a number $r$ of input cochains and has a degree $k$. It is multilinear in these $r$ variables.

*The operations of this type are denoted by $\langle n_1 n_2 \dots n_{k+r}\rangle$, where $1 \leq n_i \leq r$.

*If two adjacent $n_i$ are equal, or if one of the integers $1 \dots r$ is not among the $n_i$, then the operation is the zero operation.

*This is a $\Sigma_r$-equivariant set of operations: permuting the inputs has the same effect as permuting $\{1,\dots,r\}$.


For example, the nonzero binary operations are: $\langle 12 \rangle, \langle 21 \rangle, \langle 121 \rangle, \langle 212 \rangle, \langle 1212 \rangle, \langle 2121 \rangle, \dots$, whereas $\langle 236154212\rangle$ is a degree-3 operation of six inputs.
For any space $X$, these operations act on the singular cochain complex of $X$ roughly by taking a simplex $[v_0, \dots, v_n]$ and summing up over the ways to: break it up into $k+r$ overlapping partitions, reassemble the pieces corresponding to each number $1,\dots,r$ into a simplex, and feed those simplices to the input cochains.
For example, the operation $\langle 12\rangle$ applied to $(f,g)$ gives an operation that partition simplices into two pieces, gives the first half to the input number 1 ($f$), and the second half to input number 2 ($g$). This is the ordinary Alexander-Whitney cup product: if $f$ is a $p$-cocycle and $g$ is a $q$-cocycle, $\langle 12\rangle (f,g)$ is the cocycle that evaluates $f$ on simplex $[v_0,\dots,v_p]$ and evaluates $g$ on the simplex $[v_p,\dots,v_{p+q}]$, then multiplies them together. This is called $f \smile g$.
The operation $\langle 2 1\rangle(f,g)$ is an operation that partitions into two pieces, gives the first half to $g$, and the second half to $f$. This is the cup product of $g \smile f$.
The operation $\langle 1 2 1\rangle(f,g)$ is an operation that sums up the ways to divide into three pieces, give the first and last to $f$, and the middle to $g$. More explicitly, it sums up all the ways to divide $[v_0,\dots,v_{p+q-1}]$ into $[v_0,\dots,v_i], [v_i,\dots,v_{i+q}],[v_{i+q},\dots,v_{p+q-1}]$, evaluate $f$ on the simplex $[v_0,\dots,v_i,v_{i+q},\dots,v_{p+q-1}]$, evaluate $g$ on the simplex $[v_i,\dots,v_{i+q}]$, and multiply them together. This is called the cup-1 product $f \smile_1 g$ and it satisfies
$$
\delta(\langle 121 \rangle (f,g)) = \langle 121 \rangle (\delta f, g) + \langle 121 \rangle (f, \delta g) + \langle 21 \rangle (f, g) + \langle 12 \rangle (f,g)
$$
(again, up to signs that I'm not writing). There is a systematic formula for what $\delta$ applied to one of these operations gives: you sum up the ways to apply $\delta$ to the inputs, and then sum up the ways to first delete one of the numbers in $\langle n_1 \dots n_{k+r}\rangle$ and then apply it to the $r$ inputs.
There is also a systematic formula for how these operations compose, making them into an operad.
These operations work for the singular cochains of any space, or more generally for the cochains on a simplicial set. If you like, there are simplicial models for the $K(G,n)$'s, for example by doing symmetric products of simplicial models of Moore spaces, and at least some of these go back to classical work of Eilenberg and Mac Lane. These tend to look very similar to the "bar complex" of $G.$
