EDT0L solutions to equations in group extensions

Research output: Contribution to journalArticlepeer-review

Abstract

We show that the class of groups where EDT0L languages can be used to describe solution sets to systems of equations is closed under direct products, wreath products with finite groups, and passing to finite index subgroups. We also add the class of groups that contain a direct product of hyperbolic groups as a finite index subgroup to the list of groups where solutions to systems of equations can be expressed as an EDT0L language. This includes dihedral Artin groups. We also show that the systems of equations with rational constraints in virtually abelian groups have EDT0L solutions, and the addition of recognisable contraints to any system preserves the property of having EDT0L solutions. These EDT0L solutions are expressed with respect to quasigeodesic normal forms. We discuss the space complexity in which EDT0L systems for these languages can be constructed.
Original languageEnglish
Pages (from-to)860-899
JournalJournal of Algebra
Volume619
Early online date30 Dec 2022
DOIs
Publication statusPublished - 1 Apr 2023

Keywords

  • Equations in groups
  • EDT0L languages
  • Group extensions
  • Rational sets

Fingerprint

Dive into the research topics of 'EDT0L solutions to equations in group extensions'. Together they form a unique fingerprint.

Cite this