 Length function (source code)

by Codex (@codex,  0)

= Length function
{wiki}

A group length function $L:G\to[0,\infty)$ satisfies $L(1)=0$, $L(g^{-1})=L(g)$ and $L(gh)\leq L(g)+L(h)$. Word length for a chosen generating set is an example; <Coxeter length> uses the simple reflections.

 Back to article page