MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $$X=\vee_{\alpha\in A} S_{\alpha}^n$$ be a bouquet of $n$-spheres.

Q: How does one compute the homotopy groups $\pi_k(X)$?

share|cite|improve this question
This is called the Hilton-Milnor theorem. Rationally the homotopy groups are a free lie algebra with respect to the whitehead product. Google provides you with the appropriate references. The result you state about the countable wedge of 2-spheres related to knot complements is false. – Ryan Budney Mar 14 '12 at 19:05
To be precise, an unknot complement in $S^3$ is homeo/diffeomorphic to $S^1 \times \mathbb R^2$. A countable wedge of 2-spheres has $\pi_2 X$ isomorphic to a direct sum of countable-many copies of $\mathbb Z$. Knot complements in the 3-sphere are all $K(\pi,1)$ type spaces. Wedges of spheres have infinitely many non-trivial homotopy groups. – Ryan Budney Mar 14 '12 at 19:10
You are right completely right Ryan, I forgot the point at $\infty$, it is the unknot complement in $\mathbf{R}^3$ which is homotopy equivalent to a countable wedge of $S^2$. I'll remove my motivation. – Hugo Chapdelaine Mar 14 '12 at 20:45
Thanks a lot for the name of the Theorem. – Hugo Chapdelaine Mar 14 '12 at 20:50
The complement of the unknot in $\mathbb R^3$ is homotopy-equivalent to $S^1 \vee S^2$. I suspect you're thinking of the universal cover of this space. The universal cover of $S^1 \vee S^2$ is homotopy-equivalent to $\vee_\infty S^2$. – Ryan Budney Mar 14 '12 at 20:53

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.