Homogeneous length functions on groups

D. H. J. Polymath

A pseudo-length function defined on an arbitrary group $G=(G,\cdot ,e,({)}^{-1})$ is a map $\ell :G\to [0,+\infty )$ obeying $\ell (e)=0$, the symmetry property $\ell(x^{-1}) = \e…