5 papers
Knuth-Bendix for groups with infinitely many rules
D. B. A. Epstein, P. J. Sanders
It is shown how to use a small finite state automaton in two variables in order to carry out the Knuth-Bendix process for rewriting words in a group in shortlex order. The two-vari…
A Lie Algebra Correspondence for a Family of Finite p-Groups
Paul J. Sanders
For a prime p and natural number n with p greater than or equal to n, we establish the existence of a non-functorial one-to-one correspondence between isomorphism classes of groups…
The Coexponent of a Regular p-Group
Paul J. Sanders
A sharp bound is derived for the nilpotency class of a regular p-group in terms of its coexponent, and is used to show that the number of groups of order p^n with a given fixed coe…
A Bound for the Nilpotency Class of a Finite p-Group in terms of its Coexponent
Paul J. Sanders, Tom S. Wilde
The coexponent of a finite p-group is introduced and we consider how the nilpotency class is bounded in terms of this invariant.
Automatic Groups and Knuth-Bendix with Infinitely Many Rules
D. B. A. Epstein, Paul J. Sanders
It is shown how to use a small finite state automaton in two variables in order to carry out part of the Knuth--Bendix process for rewriting words in a group. The main objective is…