{"id":"arxiv/2607.07473","url":"https://arxiv.org/abs/2607.07473","tags":["math.AC","math.LO"],"score":0,"title":"The space of preorders on a commutative monoid","domain":"math.AC","source":"arxiv","authors":["Jan Draisma","George Metcalfe","Simon Santschi"],"reviews":0,"subject":"math.AC","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-08","reactions":{}}