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 loops is obtained by first traversing the first loop, and then traversing the second loop. Explicitly, if $f_1,f_2:[0,1]\to X$ are the two loops, then the composite of these is the loop given by $t\mapsto f_1(2t)$ for $0\le t\le 1/2$ and $t\mapsto f_2(2t-1)$ for $1/2\le t\le 1$. Continuity of this new loop follows from the gluing lemma for closed subsets.

When the topological space is path-connected, the fundamental groups at any two basepoints are isomorphic. Further information: Actions of the fundamental group

Proof that this gives a group structure

Condition	How it is shown	Page detailing relevant homotopy
existence of identity element	the identity element is the homotopy constant loop that stays at the base point. In other words, if we denote this loop by $e$, then for any loop $f$, the composite $e*f$ is homotopic to $f$, and so is the composite $f*e$.	homotopy between loop and composite with constant loop
existence of inverses	the inverses of a loop $f$ is the loop $t\mapsto f(1-t)$, i.e., the same loop done backward. In other words the composite of $f$ and this loop is homotopic to the constant loop.	homotopy between constant loop and composite of loop with inverse
associativity	for loops $f_1,f_2,f_3$, the composite $f_1*(f_2*f_3)$ is homotopic to the composite $(f_1*f_2)*f_3$.	homotopy between composites associated in different ways

Related properties of topological spaces

• A simply connected space is a topological space whose fundamental group is trivial
• For a H-space and hence in particular for any space that arises as a loop space, and for any topological monoid, the fundamental group is Abelian

Aspects of the fundamental group

• Fundamental group functor
• Actions of the fundamental group