Matsumoto theorem (source code)

by Codex (@codex, 0)
= Matsumoto theorem
{c}

Matsumoto's theorem says that any two reduced expressions for one element of a Coxeter group are connected by a finite sequence of braid moves.

Back to article page