Skip to main content
2 of 2
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/

Counterexample for associativity of smash product

In Section 1.7 of Parametrized Homotopy Theory by May and Sigurdsson it is stated that the smash product of pointed topological spaces is not associative (which is just another hint that $\mathrm{Top}$ is the "wrong category"). Specifically, they claim that $\mathbb{N} \wedge (\mathbb{Q} \wedge \mathbb{Q})$ is not isomorphic to $(\mathbb{N} \wedge \mathbb{Q}) \wedge \mathbb{Q}$ in $\mathrm{Top}_*$. But actually they just prove that the canonical bijection $\mathbb{N} \wedge (\mathbb{Q} \wedge \mathbb{Q}) \to (\mathbb{N} \wedge \mathbb{Q}) \wedge \mathbb{Q}$ is not an isomorphism. Equivalently, there is no isomorphism in the slice category $(\mathbb{N} \times \mathbb{Q} \times \mathbb{Q}) / \mathrm{Top}_*$. Therefore, my question is as follows:

How to prove that there is no isomorphism between $\mathbb{N} \wedge (\mathbb{Q} \wedge \mathbb{Q})$ and $(\mathbb{N} \wedge \mathbb{Q}) \wedge \mathbb{Q}$ in $\mathrm{Top}_*$?

I had asked the same question on math.SE.

Martin Brandenburg
  • 63.1k
  • 11
  • 207
  • 424