# An H-group that's not a loop space?

Recall that an H-group is a space $X$ (in the sense of homotopy theory, so say CW complex) that is a group object in the homotopy category. I.e., there's a multiplication map $X \times X \rightarrow X$ which is associative up to homotopy and with an inverse map again up to homotopy. The standard example of an H-group is a loop space $\Omega X$. What is a simple example of an H-group that is not a loop space?

If I understand the language right, I'm asking for a group-like $A_3$ algebra that's not $A_\infty$. If I were asking for $A_2$ but not $A_3$ then I know $S^7$ is a good example.

My motivation is illustrating some of the subtleties in defining $\infty$-groups for a HoTT seminar.

• mathoverflow.net/questions/81721/… Have a look at Dylan Wilson's answer. Aug 27 '16 at 15:38
• @DavidC: I even ran across that question when googling, but failed to scroll down to the last answer. Thanks! Aug 27 '16 at 15:50
• That said, that answer is a bit advanced and terse for me, I'd love to see it fleshed out in one of the simplest cases. Does $RP^2$ satisfy the assumptions of that answer? Aug 27 '16 at 15:55
• Dylan's answer quotes Stasheff; Stasheff's paper jstor.org/stable/1993608 includes the examples $M(Q(p),2n+1)$ where $Q(p)$ is the $p$-adic subgroup of the rationals --- this is $A_{p-1}$ but not $A_p$. Aug 31 '16 at 2:22
• $RP^2$ cannot be an $H$-space; Exercises there are four homotopy classes of map $RP^2\to RP^2$, and there are four homotopy classes of map $\Sigma RP^2 \to \Sigma RP^2$; but the suspension $RP^2\to \Omega\Sigma RP^2$ misses the degree-2 map. (otherwise the cofiber of something would have a nontrivial $Sq^2$ acting on $H^1$! ) Consequently, some of the four maps below get confused in the suspension, too. Upshot is that no map $\Omega\Sigma RP^2 \to RP^2$ can be a retraction. Aug 31 '16 at 2:39