An 
-dimensional
manifold 
is said to be a homotopy sphere, if it is homotopy equivalent to the 
-sphere 
. Thus no homotopy group can distinguish between 
and 
.
The solution of the generalized Poincaré conjecture in the positive implies that any compact homotopy sphere is in fact homeomorphic to a sphere.
