1. 1.1. Loops and Fundamental group. Let X be an arcwise connected topological space. Consider the homotopy classes of loops starting at a fixed point b 0 ∈ X : Ω(X, b 0). Recall that a loop is a continuous mapping σ : (I, ∂I) → (X, b 0). Composition σ * τ of two loops σ, τ is defined as (σ * τ)(t) = σ(2t), 0 ≤ t ≤ 1/2 τ (2t − 1), 1/2 ≤ t ≤ 1 Let c be the constant loop at b 0 and σ −1 be ...