Théorème de Seifert–Van Kampen

Théorème fondamental en topologie algébrique qui calcule le groupe fondamental d'une réunion d'espaces path‑connexes à partir des groupes fondamentaux des parties et de leur intersection via le coproduit (produit amalgamé) déterminé par les homomorphismes induits par les inclusions.