How to prove that $T_L(u) = T_L(w)$ implies that $u=w$?

46 Views Asked by At

For a reduced decomposition $u=s_1 \cdots s_k$, $u \in W$, $W$ is a Coxeter group. $T_L(u)$ is defined as $$ T_L(u)=\{s_1 s_2 \cdots s_i \cdots s_2 s_1, 1 \leq i \leq k\}. \quad (1) $$ I am trying to solve the exercis 11 on page 23 of the book Combinatrics of Coxeter groups.

How to prove that $T_L(u) = T_L(w)$ implies that $u=w$?

We can verify this for many examples. For example, if $u=s_1 s_2 s_1$, $w=s_2 s_1 s_2$, then we have $$ T_L(u)=\{s_1, s_1 s_2 s_1, s_1 s_2 s_1 s_2 s_1\} \\ =\{s_1, s_1 s_2 s_1, s_2 \} \\ T_L(w)=\{s_2, s_2 s_1 s_2, s_2 s_1 s_2 s_1 s_2\} \\ =\{s_2, s_1 s_2 s_1, s_1 \}. $$ But how to prove (1) in general? Thank you very much.