On additively idempotent semirings satisfying \(a+ab=a\) (Q4527161)

Let \((R,+,\cdot)\) be a commutative semiring satisfying (1) \(a+ab=a\) and (2) \(a+a=a\) for all \(a,b\in R\). Every distributive lattice yields an example, and some authors call such semirings absorptive. It follows from (1) that a zero of \(R\) is absorbing, and an identity \(1\) satisfies \(1+a=1\). Now, for every ideal \(A\) of \(R\), the \(k\)-closure is given by \(\overline A=\{x\in R\mid x+a=a\) for some \(a\in A\}\). Denote by \(K(R)\) the set of all \(k\)-ideals \(A=\overline A\). If one defines \(A\oplus B=\overline{A+B}\) and \(A\odot B=\overline{AB}\), one gets a commutative semiring \((K(R),\oplus,\odot)\) which also satisfies (1) and (2). Moreover, \(R\) is embeddable into \(K(R)\). It is also proved that \(K(R)\) is a lattice-ordered semiring with respect to set inclusion, and the authors give an example of a semiring \(R\) for which the natural order depending on (2) does not yield a lattice-ordered semiring \(R\). Finally, defining prime and semiprime ideals of \(R\) in the usual way, it is shown that a \(k\)-ideal \(A\) of \(R\) is semiprime iff \(A\) is the intersection of all prime \(k\)-ideals containing it. For the entire collection see [Zbl 0946.00017].