The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$

Abstract

Let $K$ be a quadratic imaginary extension of $\mathbb{Q}$, let $S$ be a finite nonempty set of non archimedean places, and let $\mathcal{O}_{K,S}$ denote the ring of $S$-integers of $K$. We show that there is no algorithm which solves the following problem. Given an arbitrary system of linear equations over the integers together with divisibility conditions on some of the variables, decide whether or not there exists a solution over $\mathcal{O}_{K,S}$. This contrasts with Lipshitz's result, which shows that such algorithm does exists for the ring of integers (i.e. $S=\emptyset).$