Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1587

Preprint Number 1587

Previous Next Preprint server

1587. Olga Kharlampovich, Laura Lopez, Alexei Miasnikov
Equations in Metabelian Baumslag-Solitar Groups

Submission date: 24 March 2019


In this paper we show that Diophantine problem in solvable Baumslag-Solitar groups BS(1,k) is decidable, i.e., there is an algorithm that given a finite system of equations with constants in BS(1,k) decides whether or not the system has a solution in the group.

Mathematics Subject Classification: 20F70

Keywords and phrases:

Full text arXiv 1903.10068: pdf, ps.

Last updated: April 9 2019 12:18 Please send your corrections to: