fundamental group

《Algebraic Topology》 · 第 26 页 · Proposition 1.3 后

The group of homotopy classes of loops at \(x_0\), with product induced by concatenation, is called the fundamental group \(\pi_1(X,x_0)\).