Open Research Index

The space of preorders on a commutative monoid

Jan Draisma, George Metcalfe, Simon Santschi

arXivarxiv/2607.07473Jul 8, 2026math.ACscore 0

For a finitely generated commutative monoid $Π$, we present a constructive description of all (total) preorders on $Π$ that are compatible with the monoid structure. Equipped with a natural topology, these preorders form an irreducible spectral space, which we show can be covered by a countable union of admissible sets: subsets of $\mathbb{R}^N$ of the form $A \setminus H$ where $A$ is semialgebraic and $H$ is a countable union of hyperplanes, both defined over the rational numbers. As a consequence of this description, we show that the universal theory of commutative monoids with a total…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.07473
curl -X POST /api/v1/records/arxiv/2607.07473/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.07473/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'