Loading...
Loading...
Algebraic Topology · Axiom Academy
The essential tool for computing fundamental groups of complex spaces Purpose: Computes π₁(X) by decomposing X into simpler pieces with known fundamental groups Key Idea: If X = U ∪ V where U , V , and U ∩ V are path-connected and open, then the fundamental group is determined by an amalgamated free product Power: Transforms difficult topological problems into tractable group theory calculations Foundation: The primary computational tool in algebraic topology for fundamental groups Condition 1: You can decompose the space X = U ∪ V into two open, path-connected subsets Condition 2: The intersection U ∩ V is path-connected and contains the basepoint Condition 3: You know (or can compute) π₁(U) , π₁(V) , and π₁(U ∩ V) Best Use: Spaces built from simple pieces, CW complexes, wedge sums, and glued surfaces Decompose: Let U and V be slightly thickened versions of each circle, overlapping at a small neighborhood of the basepoint Identify Groups: Both π₁(U) ≅ Z and π₁(V) ≅ Z since each deformation retracts to S¹ Check Intersection: U ∩ V is contractible (a small disk), so π₁(U ∩ V) = 0 (trivial group) Apply Van Kampen: Since the intersection has trivial fundamental group, , the free group on two generators Interpretation: Loops around each circle give independent generators with no relations—you can wind around either circle in any order Circle: π₁(S¹) = Z — the fundamental building block Figure-Eight: π₁(S¹ ∨ S¹) = Z * Z = F₂ — free group on two generators
This is the written version of the interactive lesson above. See the full Algebraic Topology course.