同倫羣係其中一個同倫等價嘅不變量，第一個、亦都係最簡單嘅同倫羣就係基礎羣，佢記錄咗一個拓撲空間入面嘅圈嘅資訊，粗略咁講，同倫羣記錄咗拓撲空間入面唔同維度嘅窿嘅資訊。