{"id":"arxiv/2611.05687","url":"https://arxiv.org/abs/2611.05687","tags":["math.NT","math.LO"],"score":0,"title":"Diophantine definability from addition and divisibility over rings of $S$-integers","domain":"math.NT","source":"arxiv","authors":["Carlos Martínez-Ranero"],"reviews":0,"subject":"math.NT","summary":"Let $K$ be a number field, let $S$ be a finite set of places of $K$ containing the archimedean places, and let $\\mathcal{O}_{K,S}$ denote the ring of $S$-integers of $K$. We prove that multiplication is positive-existentially definable in $(\\mathcal{O}_{K,S},0,1,+,\\mid)$ if and only if the unit group $\\mathcal{O}_{K,S}^\\times$ is infinite. This extends a 1977 theorem of Lipshitz for rings of integers to rings of $S$-integers. One of the key ingredients is a uniform bound for unit equations due to Evertse, Schlickewei and Schmidt, which we use to recover multiplication on the unit group.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-03","reactions":{}}