Riesz and pre-Riesz monoids (Q2073371)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Riesz and pre-Riesz monoids |
scientific article |
Statements
Riesz and pre-Riesz monoids (English)
0 references
2 February 2022
0 references
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.
0 references
Riesz group
0 references
Riesz monoid
0 references
\(*\)-operation
0 references
\(*\)-invertibility
0 references
Noetherian
0 references
Krull
0 references
Dedekind
0 references
Mori
0 references