Algebraic Topology/The fundamental group

fundamental group Let be a topological space and let . The fundamental group of based at is the group of homotopy equivalence classes of loops at leaving the endpoints fixed where the group law is given by concatenation of paths.