The Grothendieck ring of a non-divisible ordered abelian group is trivial
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.28483
curl -X POST /api/v1/records/arxiv/2603.28483/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.28483/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'