{"id":"arxiv/2603.28483","url":"https://arxiv.org/abs/2603.28483","tags":["math.LO"],"score":0,"title":"The Grothendieck ring of a non-divisible ordered abelian group is trivial","domain":"math.LO","source":"arxiv","authors":["Blaise Boissonneau","Mathias Stout","Floris Vermeulen"],"reviews":0,"subject":"math.LO","summary":"We consider the model-theoretic Grothendieck ring of definable sets in ordered abelian groups. It is well-known that $\\mathrm{K} \\mathbb{Q} \\cong \\mathbb{Z}[T]/(T^2 + T)$ and $\\mathrm{K} \\mathbb{Z} =0$, but surprisingly little is known about other cases. We present a short computation which shows that they all collapse: $\\mathrm{K} G = 0$, unless $G$ is divisible.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-30","reactions":{}}