Using \textsc{edt0l} systems to solve some equations in the solvable Baumslag-Solitar groups

DOI10.1016/J.JALGEBRA.2023.04.020MaRDI QIDQ6162860zbMATH OpenFDO

Authors Andrew Duncan, Alex Evetts, Derek F. Holt, Sarah Rees

Publication date 26 June 2023

Published in Journal of Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2204.13758

zbMATH Keywords

\textsc{edt0l} languagesBaumslag-Solitar groupsequations in groupsmultiplication table

Mathematics Subject Classification ID

Special aspects of infinite or finite groups (20Fxx) Semigroups (20Mxx) Theory of computing (68Qxx)

Abstract: We investigate the solution sets to equations in the solvable Baumslag-Solitar groups $BS(1,k)$, $kgeq2$, and show that these sets are represented by EDT0L languages in some cases. In particular, we prove that the multiplication table of such a group forms an EDT0L language with respect to a specific natural normal form for group elements.

Cites work

• A relationship between ETOL and EDTOL languages
• A shrinking lemma for indexed languages
• Extension of tabled 0L-systems and languages
• scientific article; zbMATH DE number 3569855 (Why is no real title available?)
• scientific article; zbMATH DE number 3589737 (Why is no real title available?)
• Indexed Grammars—An Extension of Context-Free Grammars
• On some families of languages related to developmental systems
• On the definition of word hyperbolic groups.
• Solution sets for equations over free groups are EDT0L languages
• Solutions of word equations over partially commutative structures
• Solutions to twisted word equations and equations in virtually free groups
• The complexity of solution sets to equations in hyperbolic groups
• The Diophantine problem in some metabelian groups

Cited in

(6)

• EDT0L solutions to equations in group extensions
• Quadratic equations in metabelian Baumslag–Solitar groups
• Pumping lemmas can be ``harmful
• Decision problems concerning L systems
• On groups with EDT0L word problem
• Quadratic equations in graph products of groups and the exponent of periodicity

This page was built for publication: Using \textsc{edt0l} systems to solve some equations in the solvable Baumslag-Solitar groups

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