>>500
基本群はホモトピーの概念のあとに定義されるんじゃないですか？
道ホモトピックの概念を知らなきゃ、基本群の定義すらわからないと思うのですが。