The *fundamental group* of a topological space *X* is a group constructed by looking at how closed paths in *X* can be combined to get new paths.

Under a suitable way of identifying paths ("homotopy") one can get a group structure on the set which gives an algebraic invariant of the space *X*.