Riesz and pre-Riesz monoids (Q2073371)

A directed partially ordered cancellative divisibility monoid $M$ is said to be a Riesz monoid if for all $x, y_1, y_2 \geq 0$ in $M,$ $x \leq y_1 +y_2$ $\implies x = x_1 + x_2$ where $0\leq x_i \leq y_i.$ In this paper authors explore the necessary and sufficient conditions under which a Riesz monoid $M$ with $M^+ = \{x \geq 0 | x \in M\} = M$ generates a Riesz group. A directed p.o. monoid $M$ is called as a $\Omega$-pre-Riesz if $M^+ = M$ and for all $x_1, x_2,\ldots, x_n \in M,$ $glb(x_1,x_2,\ldots, x_n) = 0$ or there is $r \in \Omega$ such that $0 < r \leq x_1, x_2,\ldots, x_n,$ for some subset $\Omega$ of $M.$ In this paper some examples of $\Omega$-pre-Riesz monoids of $*$-ideals of different types are provided. First it is shown that if $M$ is the monoid of nonzero (integral) ideals of a Noetherian domain $D$ and $\Omega$ the set of invertible ideals, $M$ is $\Omega$-pre-Riesz if and only $D$ is a Dedekind domain. Authors also study factorization in pre-Riesz monoids of a certain type and link it with factorization theory of ideals in an integral domain.