The Fundamental Group — Mathematics Knowledge System

Overview

The fundamental group π₁(X, x₀) is one of the first and most important invariants in algebraic topology: it converts a topological question ('are these spaces really the same shape?') into an algebraic one ('are these groups isomorphic?'). It is built from loops — continuous paths that start and end at a fixed basepoint x₀ — where two loops are considered equivalent if one can be continuously deformed into the other without leaving the space (a homotopy). The set of these equivalence classes forms a group under concatenation of loops, called the fundamental group. Crucially, homeomorphic spaces have isomorphic fundamental groups, which makes π₁ a powerful tool for proving spaces are topologically different, even when they look superficially similar.

Intuition

Picture standing at a fixed point x₀ on a surface and tying a loop of string that starts and ends at your feet, always lying on the surface. On a disk (or any simply-connected blob with no holes), any such loop can always be shrunk continuously down to a single point without the string ever leaving the surface — there is nothing to snag on. On a circle, or better yet a donut's surface, a loop that winds around the hole cannot be shrunk to a point without lifting it off the surface and through the hole, which isn't allowed. This is the classic 'coffee cup and donut' intuition made rigorous: π₁ of the disk is trivial (every loop shrinks to a point), while π₁ of the circle S¹ is the integers ℤ, since a loop is classified entirely by how many times, and in which direction, it winds around.

Formal Definition

Definition

Fix a basepoint x₀ ∈ X. A loop at x₀ is a continuous map γ: [0,1] → X with γ(0) = γ(1) = x₀. Two loops γ₀, γ₁ are homotopic (rel basepoint) if there is a continuous deformation between them fixing the basepoint throughout:

\exists\, H: [0,1]\times[0,1] \to X \text{ continuous, } H(t,0)=\gamma_0(t),\ H(t,1)=\gamma_1(t),\ H(0,s)=H(1,s)=x_0\ \forall s

A continuous family of loops interpolating between γ₀ and γ₁, always fixed at x₀

Homotopy of loops

\pi_1(X,x_0) = \{ [\gamma] : \gamma \text{ a loop at } x_0 \} \big/ \text{homotopy}

The set of homotopy classes of loops at x₀

Fundamental group

[\gamma_1]\cdot[\gamma_2] = [\gamma_1 * \gamma_2] \quad \text{(traverse } \gamma_1 \text{ then } \gamma_2\text{)}

This operation is well-defined on homotopy classes and makes π₁(X,x₀) a group, with identity the constant loop and inverses given by reversing direction

Group operation (concatenation)

\pi_1(S^1) \cong \mathbb{Z}, \qquad \pi_1(D^2) \cong \{e\} \text{ (trivial)}

The circle's loops are classified by their winding number; every loop in the disk (or any convex/simply-connected region) is contractible to a point

Key examples

Notation

Notation	Meaning
$\pi_1(X,x_0)$	The fundamental group of X based at x₀
$[\gamma]$	The homotopy class of the loop γ
$\gamma_1 * \gamma_2$	Concatenation: traverse γ₁ first, then γ₂, at double speed to stay parametrized on [0,1]
$\pi_1(X,x_0) \text{ trivial}$	X is path-connected and every loop is contractible to a point

Properties

Homotopy invariance

X \simeq Y \text{ (homotopy equivalent)} \implies \pi_1(X,x_0) \cong \pi_1(Y, f(x_0))

Condition: In particular homeomorphic spaces have isomorphic fundamental groups, making π₁ a topological invariant.

Basepoint independence (path-connected spaces)

X \text{ path-connected} \implies \pi_1(X,x_0) \cong \pi_1(X,x_1) \text{ for any } x_0,x_1

Condition: So for path-connected spaces one may speak of 'the' fundamental group π₁(X), suppressing the basepoint.

Distinguishing spaces

\pi_1(X) \not\cong \pi_1(Y) \implies X \not\cong Y \text{ (not homeomorphic, not even homotopy equivalent)}

Example: π₁(S¹)=ℤ ≠ trivial = π₁(D²) proves the circle and the disk are not homeomorphic (nor homotopy equivalent), even though both are simple, bounded planar shapes.

Product formula

\pi_1(X \times Y, (x_0,y_0)) \cong \pi_1(X,x_0) \times \pi_1(Y,y_0)

Worked Examples

The disk D² (and anything homotopy equivalent to a point, like a solid coffee cup without its handle-hole) has trivial fundamental group: every loop drawn on it can be contracted to a point.
$\pi_1(D^2) = \{e\}$
The torus surface (donut) has a nontrivial fundamental group — loops winding around the hole, or around the tube, cannot be contracted to a point without leaving the surface.
$\pi_1(T^2) \cong \mathbb{Z} \times \mathbb{Z}$
Since the two groups are not isomorphic (one trivial, one not), the disk and the torus cannot be homeomorphic.
$\{e\} \not\cong \mathbb{Z}\times\mathbb{Z} \implies D^2 \not\cong T^2$

Answer: The disk is simply connected (trivial π₁) while the torus is not (π₁ = ℤ×ℤ), rigorously proving they are topologically different shapes — this is the algebraic-topology version of 'a donut has a hole and a disk doesn't.'

Practice Problems

Difficulty 6/10

The fundamental group π₁(X,x₀) is built from:

All continuous functions on XHomotopy classes of loops based at x₀, under concatenationAll open subsets of X containing x₀All homeomorphisms of X

Difficulty 7/10

What is π₁ of ℝⁿ (ordinary Euclidean space) for any n, and why?

Difficulty 9/10

Prove that π₁ is a homotopy invariant: if f: X → Y is a homotopy equivalence, then π₁(X,x₀) ≅ π₁(Y,f(x₀)).

Quiz

π₁(S¹), the fundamental group of the circle, is isomorphic to:

The trivial groupℤ (the integers, under addition)ℝℤ × ℤ

Why can the fundamental group be used to prove two spaces are NOT homeomorphic?

Because π₁ is always the same for all spacesBecause homeomorphic (even homotopy equivalent) spaces must have isomorphic fundamental groups, so non-isomorphic π₁ rules out homeomorphismBecause π₁ measures the number of points in a spaceBecause π₁ only applies to finite spaces

Summary

π₁(X,x₀) is the group of homotopy classes of loops based at x₀, with concatenation of loops as the group operation.
π₁ is a homotopy invariant — homeomorphic (or even just homotopy equivalent) spaces have isomorphic fundamental groups, making it a powerful tool for distinguishing spaces (e.g. π₁(S¹)=ℤ vs. π₁(disk)=trivial).
A space with trivial π₁ is called simply connected; the coffee-cup/donut intuition (a disk has no 'hole' to snag a loop on, a torus does) is made rigorous exactly through this invariant.

References

WebsiteWikipedia — Fundamental group