Submission date: 24 March 2019

Abstract:

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.