Length function
In the mathematical field of geometric group theory, a length function is a function that assigns a number to each element of a group. == Definition == A length function L : G → R+ on a group G is a function satisfying: L ( e ) = 0 , L ( g − 1 ) = L ( g ) L ( g 1 g 2 ) ≤ L ( g 1 ) + L ( g 2 ) , ∀ g 1 , g 2 ∈ G .