群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。和乐群(holonomy group)亦称完整群。是反映一联络与平坦联络之间差别的一个群。同伦是拓扑学的重要概念。直观地说，从拓扑空间X到拓扑空间Y的连续映射f，g是同伦的，是指在Y中可将f连续形变成g。研究映射的同伦分类问题是同伦论的基本内容之一。