群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。基本群亦称一维同伦群。同伦群(homotopy groups)是基本群的高维推广。基本群是从单位闭区间I到拓扑空间X的闭路的同伦等价类和其运算得到的。稳定同伦群(stable homotopy group)是一种特殊的同伦群。