length function

Let G be a group. A length function on G is a function L:G+ satisfying:

L(e) = 0,
L(g) = L(g-1),gG,
L(g1g2) L(g1)+L(g2),g1,g2G.
Title length function
Canonical name LengthFunction
Date of creation 2013-03-22 13:41:29
Last modified on 2013-03-22 13:41:29
Owner mhale (572)
Last modified by mhale (572)
Numerical id 6
Author mhale (572)
Entry type Definition
Classification msc 20-02