Let $(W,S)$ be a Coxeter system. Then any element of $W$ can be written as a finite products of elements of $S$. I want some notion of a "completion" of $W$, call it $\hat{W}$, whose elements are (suitably nice) infinite products of $S$. For instance, let $S$ be the set of adjacent transpositions of $\mathbb{Z}$. $W$ is therefore the infinite symmetric group; i.e, group of permutations $\mathbb{Z} \to \mathbb{Z}$ that fix all but finitely many numbers. I would want $\hat{W}$ to be the group of *all* permutations $\mathbb{Z} \to \mathbb{Z}$.

EDIT:

Okay, here is the motivation; I heard this in a class of George Lusztig. Let $(W,S)$ be an affine Coxeter system. Let $s \in S$, and let $W_s$ be the set of elements of $W$ that have a unique reduced expression which starts with $s$. (So $W_s$ is a right cell.) We can put a graph on $W_s$ by joining two elements by an edge if one is obtained from the other by multiplying on the right by an element of $S$. It turns out that this graph will always be the Coxeter diagram of a finite or affine Coxeter group, and in particular, the graph will be a tree and simply-laced. Let $(W',S')$ be this output. Then there is embedding of $(W,S)$ into $(W',S')$, where what I do is map $s_i \in S$ to the product of all the vertices of the graph of $(W',S')$ whose label in the above scheme ends with $s_i$.

However, what I just said is slightly a lie because it turns out that the diagram of $(W',S')$ can end up being infinite (although still always a tree and simply-laced). For instance, consider what happens in the case of $\widetilde{A}_{n-1}$. In this case, the graph will look like:

... n-1 - n - 1 - 2 - 3 - ... - n-1 - n - ...

(Here in the labeling I only write the last letter in the reduced word because that's all that's relevant.)

So then $W' = S_{\infty}$ is the infinite symmetric group. However, in carrying out the procedure to embed $\widetilde{A}_{n-1}$ inside $S_{\infty}$, I need to multiply infinitely many transpositions. And so I can't actually embed into $S_{\infty}$; I will end up inside what I want to call $\widehat{S}_{\infty}$: the group of all permutations $\mathbb{Z} \to \mathbb{Z}$. If I can do this, I get the realization of $\widetilde{A}_{n-1}$ as affine permutations, which is nice.