Is $\mathbb{H}P^\infty_{(p)}$ an H-space? Put $X=\mathbb{H}P^\infty$ (so $X$ classifies quaternionic line bundles, and $\Omega X=S^3$). There is no obvious reason for $X$ to be an H-space, because the tensor product of quaternionic vector spaces is not naturally a quaternionic vector space.  Below I will prove that there is no nonobvious H-space structure.  However, the obstruction that I use has order $12$ and so vanishes if we localise at a prime $p>3$.  My guess is that $X_{(p)}$ is not an H-space for any prime $p$; does anyone know a proof of that?
Note that $H^*(X)=\mathbb{Z}[y]$ with $|y|=4$, and this has a Hopf algebra structure given by $\psi(y)=y\otimes 1+1\otimes y$, which is compatible with all Steenrod operations.  Thus, there do not seem to be any primary obstructions.
However, if $X$ were an H-space then $S^3=\Omega X$ would have two commuting binary operations with the same identity and so (by a standard argument) they would be the same and would be commutative.  However, it is known that $S^3$ is not homotopy commutative: the commutator map $S^6=S^3\wedge S^3\to S^3$ is the standard generator $\nu'$ of $\pi_6(S^3)\simeq\mathbb{Z}/12$. 
 A: Sorry for dredging up this question, but here is another argument (at least for $p$ odd, but maybe you don't need this) that came up while thinking about an unrelated problem. If $\mathbf{H}P^\infty_{(p)}$ was a H-space, then all Whitehead products must vanish, so it suffices to establish that there's a nontrivial Whitehead product. One that does not vanish is the following: take the element $\iota:\mathbf{H}P^1\hookrightarrow \mathbf{H}P^\infty$ in $\pi_4(\mathbf{H}P^\infty)$; then, the $(p+1)/2$-fold Whitehead product $[\iota, \cdots, \iota]\in \pi_{2p+1}(\mathbf{H}P^\infty)$ is nonzero. Under the isomorphism $\pi_{2p+1}(\mathbf{H}P^\infty) \cong \pi_{2p}(S^3)$, it's precisely the unstable representative for $\alpha_1$, aka the first nontrivial attaching map in $\mathbf{C}P^{p}_{(p)}$.
A: No. If it were an $H$-space, there would be self maps of $\mathbb{H}P^\infty_{(p)}$ inducing multiplication by $k$ in degree $4$ homology for all integers $k$. But this is not the case by a Theorem of S. Feder and S. Gitler in "Mappings of quaternionic projective spaces", Bol. Soc. Mat. Mex. 34 (1975) 12-18. Using Adams operations in complex $K$-theory they show that such a $k$ must be a $p$-adic square.
