Seifert-van Kampen Theorem — Mathematics Knowledge System

Overview

The Seifert-van Kampen theorem is the primary computational tool for the fundamental group. It states that the fundamental group of a union X = U ∪ V is the amalgamated free product π₁(U) *_{π₁(U∩V)} π₁(V), when U, V, and U ∩ V are path-connected. This allows computation of π₁ for spaces built from simpler pieces, such as the figure-eight, surfaces, and CW complexes.

Intuition

To compute π₁(X), break X into two open overlapping pieces U and V. Loops in U can only 'see' the fundamental group of U; loops in V only 'see' π₁(V). A loop in X can be cut into arcs alternating between U and V. This gives a word in generators from π₁(U) and π₁(V), subject to the relations that a loop in U ∩ V gives the same element whether viewed in π₁(U) or π₁(V). The result is the amalgamated free product: combine both groups and impose these identification relations.

Formal Definition

Definition

Let X = U ∪ V where U, V are open and path-connected, U ∩ V is path-connected, and x₀ ∈ U ∩ V. Let i_U: U∩V → U and i_V: U∩V → V be inclusions. The Seifert-van Kampen theorem states that π₁(X, x₀) is the amalgamated free product π₁(U,x₀) *_{π₁(U∩V,x₀)} π₁(V,x₀), i.e., the pushout in the category of groups.

\pi_1(X) \cong \pi_1(U) *_{\pi_1(U \cap V)} \pi_1(V)

Seifert-van Kampen theorem

\pi_1(U) *_{\pi_1(U \cap V)} \pi_1(V) = (\pi_1(U) * \pi_1(V)) / N

Amalgamated free product

N = \langle\langle (i_U)_*(g) \cdot ((i_V)_*(g))^{-1} : g \in \pi_1(U \cap V) \rangle\rangle

Normal closure of identification relations

\pi_1(U \vee V) \cong \pi_1(U) * \pi_1(V) \quad (\text{when } U \cap V \simeq *)

Wedge sum case

Notation

Notation	Meaning
$G *_H K$	Amalgamated free product of G and K over H
$G * K$	Free product of groups G and K (when H is trivial)
$i_U,\, i_V$	Inclusions of U∩V into U and V
$(i_U)_*$	Induced homomorphism π₁(U∩V) → π₁(U)

Theorems

Theorem 1: Seifert-van Kampen Theorem

Let X = U ∪ V with U, V, U∩V open and path-connected, and x₀ ∈ U∩V. Then the square of homomorphisms induced by inclusions makes π₁(X,x₀) the pushout of π₁(U,x₀) and π₁(V,x₀) over π₁(U∩V,x₀). Concretely, π₁(X) ≅ π₁(U) *_{π₁(U∩V)} π₁(V).

Theorem 2: Wedge Sum Corollary

If U ∩ V is simply connected (e.g., contractible), then π₁(U ∪ V) ≅ π₁(U) * π₁(V), the free product. In particular, π₁(X ∨ Y) ≅ π₁(X) * π₁(Y) for path-connected X, Y.

Theorem 3: HNN Extensions

When a single space X is obtained by gluing a subspace A to itself via two maps f,g: A → X, the resulting fundamental group is an HNN extension of π₁(X) by the stable letter t with relation t·f_*(a)·t^{-1} = g_*(a) for a ∈ π₁(A).

Worked Examples

1
Let U be a neighborhood of the first circle and V a neighborhood of the second circle, so U ≃ S^1, V ≃ S^1, and U ∩ V ≃ {pt} (contractible).
2
π₁(U) = Z = ⟨a⟩, π₁(V) = Z = ⟨b⟩, π₁(U∩V) = 0.
$\pi_1(U) = \langle a \rangle \cong \mathbb{Z},\quad \pi_1(V) = \langle b \rangle \cong \mathbb{Z}$
3
Since U ∩ V is contractible, van Kampen gives: π₁(S^1 ∨ S^1) ≅ Z * Z = ⟨a, b⟩ (free group on two generators).
$\pi_1(S^1 \vee S^1) \cong \mathbb{Z} * \mathbb{Z} = F_2$

✓ Answer

π₁(S^1 ∨ S^1) ≅ F₂, the free group on two generators a, b.

Practice Problems

Mediumproof writing

Use van Kampen's theorem to prove that π₁(S^n) = 0 for n ≥ 2.

Mediumfree response

Compute π₁ of the Klein bottle K.

Common Mistakes

Common Mistake

The fundamental group of a union is always the direct product of the fundamental groups of the parts.

π₁(U ∪ V) is the amalgamated free product, not the direct product. The direct product π₁(U) × π₁(V) arises for the product space U × V, not the union. The amalgamated product imposes the identification relations from π₁(U ∩ V).

Common Mistake

Van Kampen's theorem applies when U ∩ V is simply connected.

The theorem applies when U ∩ V is merely path-connected. When U ∩ V is simply connected (π₁=0), the amalgamated product reduces to the free product. The theorem does not require U ∩ V to be simply connected.

Quiz

Historical Background

Herbert Seifert proved the theorem for surfaces in 1931, and Egbert van Kampen independently proved the general version in 1933. The theorem was not widely known until it appeared in Eilenberg and Steenrod's 1952 book. It is the fundamental group's analogue of the Mayer-Vietoris sequence for homology. The categorical reformulation in terms of pushouts of groupoids was developed by Brown in the 1960s.

1931
Seifert proves the theorem for 2-manifolds
Seifert
1933
van Kampen proves the general theorem for path-connected intersections
van Kampen
1967
Brown reformulates using groupoids, extending to non-connected intersections
Brown

Summary

The Seifert-van Kampen theorem: π₁(U ∪ V) ≅ π₁(U) *_{π₁(U∩V)} π₁(V) when U, V, U∩V are open and path-connected.
The amalgamated free product identifies corresponding elements from π₁(U∩V) in π₁(U) and π₁(V).
When U ∩ V is contractible, the result is the free product: π₁(X ∨ Y) ≅ π₁(X) * π₁(Y).
Key applications: surfaces, CW complexes, knot complements, and any space built by gluing.
Van Kampen is the π₁-analogue of Mayer-Vietoris for homology.

References

BookHatcher, A. Algebraic Topology. Cambridge University Press, 2002. Section 1.2.
BookMunkres, J. Topology. Prentice Hall, 2000. Chapter 11.
WebsiteWikipedia: Seifert-van Kampen theorem