一个拓扑空间的基本群可以用基本广群定义为formula_115。
高阶同伦群.基本群实则是第一个同伦群，这是符号formula_116中「1」的由来。
代数几何中的基本群.基本群亦可抽象地定义为纤维函子的自同构群，此纤维函子对每个带基点的覆叠映射formula_117给出纤维formula_118。此定义可以推广到代数几何，而之前给出的环路定义则不可。在此我们将拓扑空间的覆叠映射代为平展态射，拓扑空间的基点代为概形上的一个几何点formula_10