English

Definable Functions to Quotients in Ordered Abelian Groups

Logic 2026-04-02 v1

Abstract

In this paper we study definable families of functions from an ordered abelian group into various naturally arising definable quotients. We show that for an ordered abelian group GG and definable family of convex subgroups {D}DD\{D\}_{D\in\mathcal{D}}, any definable family of functions {fD}DD\{f_D\} _{D\in\mathcal{D}} with fD:GdGDf_D:G^d\rightarrow\frac{G}{D} is uniformly piecewise linear; for a prime pp, integers s,r1s,r\geq 1, and groups D[ps]D^{[p^s]} defined later, if fD:GdGD+prGf_D:G^d\rightarrow\frac{G}{D+p^rG} or fD:GdGD[ps]+prGf_D:G^d\rightarrow\frac{G}{D^{[p^s]}+p^rG} we instead obtain that the definable family of functions is uniformly piecewise a boolean combination of linear functions to quotients by subgroups which are uniformly definable from DD.

Keywords

Cite

@article{arxiv.2604.00122,
  title  = {Definable Functions to Quotients in Ordered Abelian Groups},
  author = {Harper Wells},
  journal= {arXiv preprint arXiv:2604.00122},
  year   = {2026}
}
R2 v1 2026-07-01T11:47:02.580Z