Definable Functions to Quotients in Ordered Abelian Groups
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 $G$ and definable family of convex subgroups $\{D\}_{D\in\mathcal{D}}$, any definable family of functions $\{f_D\} _{D\in\mathcal{D}}$ with $f_D:G^d\rightarrow\frac{G}{D}$ is uniformly piecewise linear; for a prime $p$, integers $s,r\geq 1$, and groups $D^{[p^s]}$ defined later, if $f_D:G^d\rightarrow\frac{G}{D+p^rG}$ or $f_D:G^d\rightarrow\frac{G}{D^{[p^s]}+p^rG}$ we instead obtain that the definable family of…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.00122
curl -X POST /api/v1/records/arxiv/2604.00122/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.00122/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'