" ∈ "X" 为基点的环路的同伦类上的一个群结构，所得的群称为 "X" 在以 "x" 为基点的基本群，通常记作 π("X","x")，这个群一般不可交换。
基本群胚.有一个有时很有用的范畴描述。任何拓扑空间 "X" 给出了一个范畴其对象是 "X" 中的点，态射是道路的同伦类。因为这个范畴中任意态射是同构态射，故这个范畴是一个群胚，称为 "X" 的基本群胚。这个范畴中的环路是自同态（事实上所有都是自同构）。点 "x" ∈ "X" 的自同构群恰好是以 "x" 为基点的基本群。基本群的