The HNN extension, named after the mathematicians Graham Higman, B. H. Neumann, and Hanna Neumann, is a construction in group theory that allows the creation of new groups from existing ones. Specifically, an HNN extension is a type of group that is used to generalize the notion of groups with an additional structure, particularly when it comes to accommodating certain types of relations between groups.
New to topics? Read the docs here!