Skip to main content
3 of 3
edited body
Greg Friedman
  • 5.5k
  • 23
  • 38

Yes. In fact $\bigcup_{n\geq 1} P_n $ is the set of all primes. Serre proved that, for each odd prime $p$, there is some very predictable $p$-torsion in $\pi_{k+(p-1)}(S^k)$, for example.

There is a very nice theorem of McGibbon and Neisendorfer (proving, I think, a conjecture of Serre) that implies and vastly generalizes this.

Theorem (McGibbon & Neisendorfer). Let $X$ be a simply-connected finite complex such that $\widetilde{H}_*(X; \mathbb{Z}/p) \neq 0$. Then $\pi_n X$ contains $p$-torsion for infinitely many values of $n$.

Jeff Strom
  • 12.5k
  • 3
  • 48
  • 76