基本群

在代數拓撲中 ， 基本群 （ 或稱龐加萊群 ） 是一個重要的同倫不變量 。 帶點拓撲空間的基本群是所有從該點出發的環路的同倫等價類 ， 群運算由環路的銜接給出 。 基本群能用以研究兩個空間是否同胚 ， 也能分類一個連通空間的覆疊空間 （ 至多差一個同構 ） 。 基本群的推廣之一是同倫群 。