3
$\begingroup$

Are there some references which proves the following result?

Let $W$ be a Coxeter group and $w \in W$. Then different reduced expressions of $w$ can be transformed from one into anther using only the braid relations.

Thank you very much.

$\endgroup$

2 Answers 2

3
$\begingroup$

This is also known as Matsumoto's theorem. It was also independently proved by Jacques Tits.

There are tons of books having proofs of this, e.g. Theorem 3.3.1 in "Combinatorics of Coxeter" groups by Björner and Brenti. I am sure it's also in "Reflection Groups and Coxeter Groups" by Humphreys, but I don't have it at hand to give a precise reference.

$\endgroup$
1
  • 1
    $\begingroup$ Actually, I didn't deal with the combinatorial questions so explicitly in my book though I did discuss briefly the approach by Tits ams.org/mathscinet-getitem?mr=0254129 to the word problem in 8.1 (following a short remark on a less attractive method at the end of Chapter 5). While Matsumoto built on early work (of Iwahori. Tits) dealing with generators and relations, he didn't address the word problem for a Coxeter group as such. At any rate, the best exposition is in section 3.3-3.4 of the Bjorner-Brenti text. $\endgroup$ Mar 16, 2017 at 17:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.