Matsumoto's theorem (group theory)

In group theory, Matsumoto's theorem, proved by Hideya Matsumoto (1964), gives conditions for two reduced words of a Coxeter group to represent the same element. Sometimes, this is also called Matsumoto's lemma.