Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I must know how and when it began. I can't seem to find anything historical on this. All I know up to this point is that Todd-Coxeter method was created in 1936. And, "words"? How did they even arise in double coset enumeration? I need more. :)

share|cite|improve this question
The book Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer by Charles Curtis is an excellent exposition on this subject, at least its first chapters contain some information.… – awllower Jun 1 '12 at 7:21
Thank you my friend! – HowardRoark Jun 1 '12 at 7:48
up vote 1 down vote accepted

You mention double coset enumeration. There is some historical comment in the paper

R. Brown, N. Ghani, A.Heyworth, C.D.Wensley), `String-rewriting systems for double coset systems', J. Symb. Comp. 41 (2006) 573-590.

also available from the arXiv . arXiv:math/0508391 .

The following comes from the Introduction:

"The primary alternative to Todd-Coxeter procedures for ordinary coset enumeration and computation of groups given by presentations is string rewriting. In finite settings the two approaches are comparable: certain problems being more effectively addressed by the enumerative method and others benefitting more from a rewriting approach. However, for cases involving infinitely many elements, rewriting rather than enumeration is the natural choice.

This paper demostrates how string rewriting can be applied to the problems of computing double cosets, giving a new alternative to the Todd-Coxeter methods which can further be applied to infinite groups."

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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