Fix a Coxeter group W with generating set S, and write ℓ(w) for the length of an element w (the smallest length of an expression for w as a product of elements of S).
The quadratic second relation implies that each generator is invertible in the Hecke algebra, with inverse .