English

Grothendieck rings of ordered subgroups of $\mathbb{Q}$

Rings and Algebras 2025-04-30 v2 Logic

Abstract

Let GG be a proper subgroup of Q\mathbb{Q} and SGS_G be the set of primes pp for which GG is pp-divisible. We show that the model-theoretic Grothendieck ring of the ordered abelian group (G;+,<)(G;+,<) is a quotient of (Z/qZ)[T]/(T+T2)(\mathbb{Z}/q\mathbb{Z})[T]/(T+T^2), where qq is the largest odd integer that divides p1p-1 for all pSGp \notin S_G. This implies that the Grothendieck ring of (G;+,<)(G;+,<) is trivial in various salient cases, for example when SGS_G is finite, or when SGS_G does not contain some prime of the form 2n+12^n+1, nNn\in \mathbb{N}.

Keywords

Cite

@article{arxiv.2503.00440,
  title  = {Grothendieck rings of ordered subgroups of $\mathbb{Q}$},
  author = {Neer Bhardwaj and Frodo Moonen},
  journal= {arXiv preprint arXiv:2503.00440},
  year   = {2025}
}

Comments

The second version significantly strengthens and generalizes the results from the first version