The '''fundamental group''' is a basic construction of [[algebraic topology]]. It associates to any [[topological space]] <math>X</math> a [[group]] <math>\pi_1(X)</math> containing information about the structure of the "holes" in the space. To study the holes, the fundamental group examines the set of loops <math>\gamma : S^1 \to X</math> in the space.
+
The '''fundamental group''' is a basic construction of [[algebraic topology]]. To a [[topological space]] <math>X</math>, the fundamental group construction associates an algebraic object which describes the set of "holes" in the space. The fundamental group can be used to distinguish between different topological spaces: for example, to prove rigorously that a surface with two holes cannot be smoothly deformed into a surface with three holes, one can check that these two spaces have different fundamental groups and so must be distinct. The fundamental group captures information about the set of holes in a space by looking at the set of loops drawn on the space.