Characterizing Biautomatic Groups
arXiv:2105.07509
Abstract
This paper corrects the characterisation of biautomatic groups presented in Lemma 2.5.5 in the book Word Processing in Groups by Epstein et al. We present a counterexample to the lemma, and we reformulate the lemma to give a valid characterisation of biautomatic groups.