# Algebraic Topology/The fundamental group

**Definition (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.