1: \begin{abstract}

2: In this paper we show how string rewriting methods can be applied to

3: give a new method of computing double cosets. Previous methods for

4: double cosets were enumerative and thus restricted to finite

5: examples. Our rewriting methods do not suffer this restriction and

6: we present some examples of infinite double coset systems which can

7: now easily be solved using our approach. Even when both enumerative

8: and rewriting techniques are present, our rewriting methods will be

9: competitive because they i) do not require the preliminary

10: calculation of cosets; and ii) as with single coset problems, there

11: are many examples for which rewriting is more effective than

12: enumeration.

13: 

14: Automata provide the means for identifying expressions for normal

15: forms in infinite situations and we show how they may be constructed

16: in this setting. Further, related results on logged string rewriting

17: for monoid presentations are exploited to show how witnesses for the

18: computations can be provided and how information about the subgroups

19: and the relations between them can be extracted. Finally, we discuss

20: how the double coset problem is a special case of the problem of

21: computing induced actions of categories which demonstrates that our

22: rewriting methods are applicable to a much wider class of problems

23: than just the double coset problem.

24: \end{abstract}

25: