Los grupos de homotopia más grandes ("k" ≥ 4) son todos abelianos finitos, pero además de ello no siguen ningún patrón discernible.