# Commutativity in K-theory and cohomology

The Chern classes give a map $f : BU \to \prod_n K(\mathbb{Z},2n)$, which is a rational equivalence. However, it is not an equivalence over $\mathbb{Z}$ because the cohomology of $BU$ is just a polynomial algebra and has no Steenrod operations. In particular, the generators of the homotopy groups $\pi_{2n}(BU)=\mathbb{Z}$ will not map to generators of the homotopy groups $\pi_{2n}(K(\mathbb{Z},2n))=\mathbb{Z}$. Another way to say this is that the duals of the Chern classes in homology are not in the image of Hurewicz; only certain multiples of them are. What multiples you have to take is determined by the order of the k-invariants of $BU$, which are certain Steenrod operations of the fundamental classes of $K(\mathbb{Z},2n)$.

Steenrod operations can be understood as obstructions to the cup product on ordinary cohomology being strictly commutative. On the other hand, the fact that $f$ is not an equivalence can also be understood as an obstruction to addition in K-theory being strictly commutative. Indeed, any space with a strictly commutative group structure is a product of $K(\pi_n,n)$'s under the map given by a right inverse of the Hurewicz map.

So in some sense you could say that products in cohomology are only homotopy-commutative and sums in K-theory are only homotopy-commutative "for the same reason". Is there some deeper story behind this? I don't know exactly what I'm asking for, but I'd like to get a better understanding of what's going on in this picture.

Perhaps the deeper story you want involves the notion of "$E_{\infty}$ product". The cup product in cohomology, and the sum (and for that matter, the product) in K-theory are commutative (and associative, and unital) not merely up to homotopy, but "up to all possible higher homotopies". You can make this precise by saying that the appropriate binary operation on the representing space (the $K(\mathbb{Z},n)$'s, or $\mathbb{Z}\times BU$), is part of an $E_{\infty}$ algebra structure on that space.
It seems that most "naturally occuring" sums or products in topology turn out to be $E_{\infty}$ (addition for any generalized cohomology theory, multiplication for many nice ones such as ordinary cohomology, K-theories, bordism, elliptic cohomology). As you observe, having a strictly commutative operation is very special, and basically forces the representing spaces to be a product of $K(A,n)$'s, by the Dold-Thom theorem.
To me, the mystery here is that "stricly commutative" is so much more special than "$E_{\infty}$ commutative". Associative products don't behave this way: "strictly associative" turns out to be no more special than "$A_{\infty}$ associative", that is, any $A_{\infty}$ product on a space can be "rigidified" to a strictly associative product on a weakly equivalent space.