Equations in virtually abelian groups: languages and growth

DOI10.1142/S0218196722500205MaRDI QIDQ6348701arXivFDO

Authors Alex Evetts, Alex Levine

Publication date 8 September 2020

Published in arXiv

Full work available at URL https://doi.org/10.1142/S0218196722500205

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65) Extensions of abelian groups (20K35) Formal languages and automata (68Q45)

arXiv classification

cs.FLmath.GR

Abstract: This paper explores the nature of the solution sets of systems of equations in virtually abelian groups. We view this question from two angles. From a formal language perspective, we prove that the set of solutions to a system of equations forms an EDT0L language, with respect to a natural normal form. Looking at growth, we show that the growth series of the language of solutions is rational. Furthermore, considering the set of solutions as a set of tuples of group elements, we show that it has rational relative growth series with respect to any finite generating set.

This page was built for publication: Equations in virtually abelian groups: languages and growth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6348701)