View source for HNN extension

An '''HNN extension''' is a construction in group theory, named after Graham Higman, Bernhard Neumann, and Hanna Neumann, that embeds a group into a larger group in which two specified isomorphic subgroups are conjugate. Given a group \(G\) and an isomorphism \(\phi: A \to B\) between subgroups \(A, B \subseteq G\), the HNN extension \(G *_\phi\) is the freest group containing \(G\) in which \(A\) and \(B\) are conjugate by a new stable letter \(t\), satisfying \(t a t^{-1} = \phi(a)\) for all \(a \in A\).

HNN extensions are the dual, in a precise sense, to [[Amalgamated product|amalgamated products]]. Where an amalgamated product glues two groups along a common subgroup, an HNN extension twists a single group by forcing two subgroups to be conjugate. Together, these two operations generate all groups that act on trees: the fundamental theorem of [[Bass-Serre theory]] states that a group acts on a tree without inversion if and only if it can be constructed from vertex stabilizers by iterated amalgamated products and HNN extensions.

The Higman-Neumann-Neumann theorem, proved in 1949, is a spectacular application: every countable group can be embedded into a group generated by just two elements. The proof uses HNN extensions to successively fold generators into conjugacy relations, compressing arbitrary countable complexity into a two-generator framework. This result demolishes the intuition that generator count measures group complexity.

''The HNN extension is the group theorist's twist. It takes a group, identifies two subgroups that were previously unrelated, and forces them to be conjugate — a radical operation that changes the group's dynamics while preserving its local structure. It is the algebraic analogue of cutting a manifold and regluing with a twist, and like that topological operation, it produces groups that are simultaneously familiar and strange. The HNN extension reminds us that in mathematics, conjugacy is not a property but a tool for construction.''

[[Category:Mathematics]]
[[Category:Algebra]]
[[Category:Systems]]