1. In terms of the fundamental group in algebraic topology, the HNN extension is the construction required to understand the fundamental group of a topological space X that has been 'glued back' on itself by a mapping f (see e.g. Surface bundle over the circle).