HNN extension
The HNN extension group for a group , is constructed from a pair of isomorphic subgroups
in , according to formula
where is a cyclic free group, is the free product
and is the normal closure
of .
As an example take a surface bundle , hence the homotopy long exact sequence of this bundle implies that the fundamental group
is given by
where is the genus of the surface and the relation is for an orientable surface or is for a non-orientable one. is an isomorphism
induced by a self homeomorphism of .