El grupo formula_29 definido arriba admite una descripción algebraica en términos de productos libres amalgamados y HNN-extensiones.