
arXiv: 1107.3645
In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy many nice properties: these groups are invariant under the change of generators, they are closed under direct and free products, certain types of amalgamated products, and finite extensions. Furthermore, the word problem in graph automatic groups is decidable in quadratic time. However, the class of graph automatic groups is much wider then the class of automatic groups. For example, we prove that all finitely generated 2-nilpotent groups and Baumslag–Solitar groups BS(1,n) are graph automatic, as well as many other metabelian groups.
word problem, FOS: Computer and information sciences, Formal Languages and Automata Theory (cs.FL), Generalizations of solvable and nilpotent groups, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Computer Science - Formal Languages and Automata Theory, Mathematics - Logic, Group Theory (math.GR), Cayley graph automatic groups, Cayley graphs, FOS: Mathematics, finitely generated nilpotent groups, Logic (math.LO), Geometric group theory, Mathematics - Group Theory, solvable groups
word problem, FOS: Computer and information sciences, Formal Languages and Automata Theory (cs.FL), Generalizations of solvable and nilpotent groups, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Computer Science - Formal Languages and Automata Theory, Mathematics - Logic, Group Theory (math.GR), Cayley graph automatic groups, Cayley graphs, FOS: Mathematics, finitely generated nilpotent groups, Logic (math.LO), Geometric group theory, Mathematics - Group Theory, solvable groups
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 21 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
