HNN extension
= HNN extension
{wiki=HNN_extension}
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.