free product

In algebraic topology, the free product of finitely presented groups often arises when computing the fundamental group of a space assembled from simpler pieces.