{"id":"arxiv/2609.27210","url":"https://arxiv.org/abs/2609.27210","tags":["math.NT","math.LO"],"score":0,"title":"Definability and undecidability via the torsion subgroup of units","domain":"math.NT","source":"arxiv","authors":["Caleb Springer"],"reviews":0,"subject":"math.NT","summary":"In this paper, we prove that $\\mathbb{Z}$ is first-order definable in the ring of integers $\\mathbb{Z}^{\\text{ab}}$ of the maximal abelian extension $\\mathbb{Q}^{\\text{ab}}$ of $\\mathbb{Q}$, which implies that the first-order theory of $\\mathbb{Z}^{\\text{ab}}$ is undecidable. More generally, writing $i = \\sqrt{-1}$ and $\\mathbb{Q}^{\\text{tr}}$ for the field of all totally real numbers, we prove new definability and undecidability results for rings of integers of subfields of $\\mathbb{Q}^{\\text{tr}}(i)$, focusing especially on fields which contain infinitely many roots of unity. The key…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}