基本群

数学、特に代数トポロジーにおいて、基本群 とは、ある固定された点を始点と終点にもつふたつのループが互いに連続変形可能かを測る点付き位相空間に付帯する群である。直観的には、それは位相空間にある穴についての情報を記述している。基本群はホモトピー群の最初で最も単純な例である。基本群は位相不変量である。つまり同相な位相空間は同じ基本群を持っている。