Fundamental group

Definition

Basic definition

The fundamental group of a based topological space $(X,x_0)$ is defined as follows:

• As a set, it is the set of all homotopy classes of loops at $x_0$ in $X$
• The group structure is obtained as follows: the composite of two