关于同伦群的第一个一般结构是所谓的胡雷维奇定理:如果 X 是 连通的且,则 是同构。另一个重要的一般结果是弗罗伊登塔尓(Freudenthal)维悬定理:当 时,有。
CW 复形的同伦群具有很好的性质:CW 复形间的连续映射 是同伦等价当且仅当它是弱同伦等价。从一个拓扑空间 X 到拓扑空间 Y 的一个映射称为弱同伦等价(weak homotopy equivalence) 如果对任意的 是同构。
基本群的定义是
庞加莱在1895 年提出的。此后很多人想到过高维的推广,这些人中包括: 亚历山大、切赫、德恩等。但都因为初步性质过于简单以为不能导致深刻结果而被放弃。第一个正式的定义是胡雷维奇在1935 年莫斯科国际拓扑会议上提出的。除可缩空间外,最简单的空间就是球面 。胡雷维奇定理给出了第二个同伦群,其实在同伦群的定义被提出之前,霍普夫早在1930 年就本质上算出了 的第三个同伦群。很明显同调论不足以区分这个群中的同伦类。但是同伦群并未因此马上被提出,这是值得深思的事情。20 世纪50年代初,嘉当、塞尔等利用纤维化的[上] 同调谱序列,提出了研究同伦群的新方法并取得了球面同伦群计算的突破性进展。此后包括同伦群研究的同伦论成为数学的中心研究领域之一并在许多领域获得重要应用。