×

Totally ordered commutative monoids. (English) Zbl 0974.06009

Summary: A totally ordered monoid – or tomonoid, for short – is a commutative semigroup with identity \(S\) equipped with a total order \(\leq_S\) that is translation invariant, i.e., that satisfies: \(\forall x,y,z\in s\), \(x\leq_S y\Rightarrow x+ z\leq_S y+ z\). We call a tomonoid that is a quotient of some totally ordered free commutative monoid formally integral. Our most significant results concern characterizations of this condition by means of constructions in the lattice \({\mathbf Z}^n\) that are reminiscent of the geometric interpretation of the Buchberger algorithm that occurs in integer programming. In particular, we show that every two-generator tomonoid is formally integral. In addition, we give several (new) examples of tomonoids that are not formally integral, we present results on the structure of nil tomonoids and we show how a valuation-theoretic construction due to Hion reveals relationships between formally integral tomonoids and ordered commutative rings satisfying a condition introduced by Henriksen and Isbell.

MSC:

06F05 Ordered semigroups and monoids
20M14 Commutative semigroups
06F25 Ordered rings, algebras, modules
PDFBibTeX XMLCite
Full Text: DOI