GROUPS WITH INDEXED CO-WORD PROBLEM
Derek F. Holt, Claas E. Röver · International Journal of Algebra and Computation · 2006
We investigate co-indexed groups, that is groups whose co-word problem (all words defining nontrivial elements) is an indexed language. We show that all Higman–Thompson groups and a large class of tree automorphism groups defined by finite automata are co-indexed groups. The latter class is closely related to dynamical systems and includes the Grigorchuk 2-group and the Gupta–Sidki 3-group. The co-word problems of all these examples are in fact accepted by nested stack automata with certain additional properties, and we establish various closure properties of this restricted class of co-indexed groups, including closure under free products.