Van Kampen's Theorem

Topology · Axiom Academy

Computing fundamental groups by decomposing spaces The Challenge of Computing Fundamental Groups Computing fundamental groups directly from the definition can be extremely difficult. For complex topological spaces, we need a powerful tool that allows us to break down the problem into simpler pieces. If we can decompose a space into simpler overlapping pieces whose fundamental groups we know, can we compute the fundamental group of the entire space? This is exactly what Van Kampen's theorem accomplishes. It's one of the most important computational tools in algebraic topology. Let be a path-connected space, and let be open path-connected subsets such that: Then the fundamental group is isomorphic to the free product with amalgamation : The symbol represents the "amalgamated free product" or "pushout" - we'll explore what this means in the next steps. All parts must be path-connected, and the intersection must also be path-connected. If these conditions fail, the theorem doesn't apply! Before understanding amalgamated products, we need to understand free products of groups. Given groups , the free product consists of all finite words formed by elements from and , with multiplication given by concatenation. Example: Consider . Elements of the free product look like: In a free product, elements from different groups don't commute unless they're identities. It's the "freest" way to combine two groups.

This is the written version of the interactive lesson above. See the full Topology course.