Abstract
This paper is a study of the structure of a group G equipped with a 'length' function from G to the nonnegative real numbers. The properties that we require this function to satisfy are derived from Lyndon's work on groups with integer-valued functions. A real length function is a function which assigns to each a nonnegative real number such that the following axioms are satisfied:

This publication has 0 references indexed in Scilit: