Increasing positive monoids of ordered fields are FF-monoids

Abstract

Given an ambient ordered field $K$, a positive monoid is a countably generated additive submonoid of the nonnegative cone of $K$. In this paper, we first generalize several atomic features exhibited by Puiseux monoids of the field of rational numbers to the more general setting of positive monoids of Archimedean fields, accordingly arguing that such generalizations may fail if the ambient field is not Archimedean. In particular, we show that a positive monoid $P$ of an Archimedean field is a BF-monoid provided that $P\setminus \{0\}$ does not have $0$ as a limit point. Then, we prove our main result: every increasing positive monoid of an ordered field is an FF-monoid. Finally, we deduce that every increasing positive monoid is hereditarily atomic.

17 pages

References in corpus (3)

• Atomicity and boundedness of monotone Puiseux monoids
• On the Atomic Structure of Puiseux Monoids
• Ordered Fields, the Purge of Infinitesimals from Mathematics and the Rigorousness of Infinitesimal Calculus

Cited by in corpus (12)

• On strongly primary monoids, with a focus on Puiseux monoids
• Factorizations in upper triangular matrices over information semialgebras
• On the additive structure of algebraic valuations of polynomial semirings
• Geometric and combinatorial aspects of submonoids of a finite-rank free commutative monoid
• Tempered Monoids of Real Numbers, the Golden Fractal Monoid, and the Well-Tempered Harmonic Semigroup
• On the atomic structure of exponential Puiseux monoids and semirings
• On the atomic structure of torsion-free monoids
• Divisibility in rings of integer-valued polynomials
• On three families of dense Puiseux monoids
• On the set of atoms and strong atoms in additive monoids of cyclic semidomains
• A characterization of finite factorization positive monoids
• Atomicity and Factorization of Puiseux Monoids