The Fundamental Group — Mathematics Knowledge System

Overview

The fundamental group π₁(X, x₀) is the group of homotopy classes of loops based at a point x₀ in a topological space X. It is the primary algebraic invariant distinguishing topological spaces: a simply connected space has trivial fundamental group, while the circle has fundamental group Z, reflecting how many times a loop winds around the hole.

Intuition

Imagine standing at a base point in a space and drawing loops that return to where you started. Two loops are 'the same' if you can continuously deform one into the other without leaving the space. On the plane, all loops are the same (they can all shrink to a point). On the circle, loops are classified by how many times they wind around: once clockwise, once counterclockwise, twice, etc. The fundamental group records this winding information as an integer. For a torus, loops can wind around either hole, giving Z × Z.

Formal Definition

Definition

Let X be a topological space and x₀ ∈ X a base point. A loop at x₀ is a continuous map γ: [0,1] → X with γ(0) = γ(1) = x₀. Two loops γ, δ are homotopic relative to {0,1} if there is a continuous H: [0,1] × [0,1] → X with H(s,0)=γ(s), H(s,1)=δ(s), H(0,t)=H(1,t)=x₀ for all t. The fundamental group π₁(X, x₀) consists of these homotopy classes, with multiplication given by concatenation of loops.

\pi_1(X, x_0) = \{ [\gamma] : \gamma: [0,1] \to X,\; \gamma(0)=\gamma(1)=x_0 \}

Fundamental group

(\gamma * \delta)(s) = \begin{cases} \gamma(2s) & 0 \le s \le \tfrac{1}{2} \\ \delta(2s-1) & \tfrac{1}{2} \le s \le 1 \end{cases}

Concatenation of loops

\pi_1(S^1) \cong \mathbb{Z}

Fundamental group of the circle

\pi_1(T^2) \cong \mathbb{Z} \times \mathbb{Z}

Fundamental group of the torus

Notation

Notation	Meaning
$\pi_1(X, x_0)$	Fundamental group of X based at x₀
$[\gamma]$	Homotopy class of loop γ relative to endpoints
$\gamma * \delta$	Concatenation of loops γ followed by δ
$\gamma^{-1}$	Reverse of loop γ: γ⁻¹(t) = γ(1-t)
$e_{x_0}$	Constant loop at x₀, the identity element

Theorems

Theorem 1: Fundamental Group is a Group

With concatenation as multiplication and the constant loop as identity, π₁(X, x₀) is a group. The inverse of [γ] is [γ⁻¹] where γ⁻¹(t) = γ(1-t).

Theorem 2: Change of Basepoint

If X is path-connected and x₀, x₁ ∈ X, then π₁(X, x₀) ≅ π₁(X, x₁). The isomorphism depends on the choice of path from x₀ to x₁.

Theorem 3: Functoriality

A continuous map f: X → Y with f(x₀) = y₀ induces a group homomorphism f_*: π₁(X, x₀) → π₁(Y, y₀) by f_*([γ]) = [f ∘ γ]. Homotopic maps induce the same homomorphism.

Worked Examples

1
Consider the covering map p: R → S^1, p(t) = e^{2πit}. Every loop in S^1 based at 1 lifts to a path in R starting at 0.
$p(t) = e^{2\pi i t}$
2
The lift of a loop γ based at 1 is a path starting at 0 and ending at some integer n (the winding number).
$\tilde{\gamma}: [0,1] \to \mathbb{R},\quad \tilde{\gamma}(0)=0,\quad \tilde{\gamma}(1) = n \in \mathbb{Z}$
3
Two loops are homotopic iff their lifts end at the same integer. The map [γ] ↦ n is a group isomorphism π₁(S^1,1) → Z.
$[\gamma] \mapsto n \in \mathbb{Z}$
4
Concatenation of loops corresponds to addition of winding numbers, confirming the group structure is Z.

✓ Answer

π₁(S^1) ≅ Z, generated by the standard loop γ(t) = e^{2πit}.

Practice Problems

Mediumproof writing

Prove that if X is contractible, then π₁(X, x₀) = 0 (the trivial group).

Mediumfree response

Identify the fundamental group of the figure-eight space (wedge of two circles S^1 ∨ S^1).

Common Mistakes

Common Mistake

The fundamental group does not depend on the basepoint.

The group does depend on the basepoint, but for path-connected spaces all basepoint choices give isomorphic groups. The isomorphism is not canonical — it depends on the choice of path connecting the basepoints.

Common Mistake

The fundamental group is always abelian.

The fundamental group can be non-abelian. For example, π₁(S^1 ∨ S^1) = Z * Z is the free group on two generators, which is highly non-abelian. The abelianization of π₁ gives the first homology group H₁.

Quiz

Historical Background

Poincaré introduced the fundamental group in his 1895 paper Analysis Situs, calling it the 'groupe fondamental'. He used it to distinguish the 3-sphere from other 3-manifolds, launching the programme of using algebra to study topology. The Seifert-van Kampen theorem (proved independently in the 1930s) provided a computational tool. The connection to covering spaces was developed through the mid-20th century.

1895
Poincaré defines the fundamental group in Analysis Situs
Poincaré
1933
Seifert and van Kampen independently prove the amalgamation theorem
Seifert, van Kampen
1957
Eilenberg and Steenrod axiomatize homology and cohomology theories
Eilenberg, Steenrod

Summary

π₁(X, x₀) is the group of homotopy classes of loops at x₀, with multiplication given by concatenation.
For path-connected spaces, the fundamental group is independent of basepoint up to isomorphism.
Key examples: π₁(R^n) = 0, π₁(S^1) = Z, π₁(T^2) = Z×Z, π₁(S^1 ∨ S^1) = Z*Z.
A continuous map f: (X,x₀) → (Y,y₀) induces a group homomorphism f_*: π₁(X,x₀) → π₁(Y,y₀).
The fundamental group is a homotopy invariant: homotopy equivalent spaces have isomorphic fundamental groups.

References

BookHatcher, A. Algebraic Topology. Cambridge University Press, 2002. Chapter 1.
BookMunkres, J. Topology. Prentice Hall, 2000. Chapter 9.
WebsiteWikipedia: Fundamental group