Actions, length functions, and non-archemedian words

Abstract

In this paper we survey recent developments in the theory of groups acting on $\Lambda$-trees. We are trying to unify all significant methods and techniques, both classical and recently developed, in an attempt to present various faces of the theory and to show how these methods can be used to solve major problems about finitely presented $\Lambda$-free groups. Besides surveying results known up to date we draw many new corollaries concerning structural and algorithmic properties of such groups.