1: \begin{definition}

2:   Let $(W,S)$ be a Coxeter system.  Any element $w\in W$ can be

3:   written as a product of generators $w=s_1s_2\cdots s_r$, $s_i\in

4:   S$. 

5:   \begin{enumerate}

6:   \item If $r$ is minimal for all expressions of $w$, we call $r$ the

7:     \textbf{length} of $w$, denoted $\ell(w)$.

8:   \item Any expression of $w$ as a product of $\ell(w)$ generators is

9:     called a \textbf{reduced expression} for $w$.

10:   \item The set of all $s\in S$ that appear in a reduced expression of

11:     $w$ is called the \textbf{support} of $w$, denoted

12:     $\supp(w)$. Note that each element in a Coxeter group can have

13:     many different reduced expressions.  However, if $s\in S$ appears

14:     in a particular reduced expression for $w$, it must appear in each

15:     reduced expression for $w$ as a consequence of~\cite[Theorem

16:     3.3.1]{bjorner2005combinatorics}.  Thus, to determine $\supp(w)$

17:     we only need to consider a particular reduced expression for $w$,

18:     so $\supp(w)$ is well-defined.

19:   \item Let $v_i \in W$ for $1 \leq i \leq k$. We say that the

20:     product $v = v_1 v_2 \cdots v_k$ is \textbf{reduced} if $\ell(v) =

21:     \sum_{i=1}^k \ell(v_i)$.

22:   \end{enumerate}

23: \end{definition}

24: