Groups acting freely on -trees
arXiv:0911.0209
Abstract
A group is called -free if it has a free Lyndon length function in an ordered abelian group , which is equivalent to having a free isometric action on a -tree. A group has a regular free length function in if and only if it has a free isometric action on a -tree so that all branch points belong to the orbit of the base point. In this paper we prove that every finitely presented -free group can be embedded into a finitely presented group with a regular free length function in so that the length function on is preserved by the embedding. Next, we prove that every finitely presented group with a regular free Lyndon length function in has a regular free Lyndon length function in ordered lexicographically for an appropriate and can be obtained from a free group by a series of finitely many HNN-extensions in which associated subgroups are maximal abelian and length isomorphic.
33 pages, 6 figures