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