Associated subgroup of an HNN extension (source code)

= Associated subgroup of an HNN extension
{title2=$A,B$}

= Associated subgroups of an HNN extension
{synonym}

The associated subgroups are the source and target $A,B\le G$ of the <isomorphism> used to define an <HNN extension>. They determine its <pinches in an HNN extension>, its coset transversals, and the possible cancellations of adjacent inverse <stable letters>.