Grupos Fundamentales y el Teorema de Seifert–van Kampen

La Topología Algebraica es una rama de las matemáticas encargada de estudiar invariantes topológicos que no pueden ser detectados mediante la topología clásica. En esencia, esta disciplina busca abordar problemas en la categoría de espacios topológicos, trasladándolos, a través de un funtor, a otra categoría cuyos objetos poseen estructura algebraica, como grupos, anillos, módulos, espacios vectoriales, etc.

Uno de los principales ejemplos de este enfoque es el grupo fundamental, el cual es un funtor que asigna a cada espacio topológico un grupo (no necesariamente abeliano) que constituye un invariante topológico, es decir, que se preserva bajo homeomorfismos. Este objeto es central en la teoría de homotopía, ya que permite detectar y clasificar ciertas formas de deformación continua en los espacios topológicos.

Por su parte, el teorema de Seifert–van Kampen es una valiosa herramienta en el cálculo del grupo fundamental de un espacio topológico X, especialmente cuando este es complicado. Dicho teorema permite expresar el grupo fundamental de X en términos de los grupos fundamentales de una colección de subespacios que cubren a X.