No label defined (Q4484682)

An additively commutative semiring \(S\) is called an inversive semiring, if for each \(a\in S\) there is a unique element \(a'\in S\) such that \(a+a'+a=a\) and \(a'+a+a'=a'\). In [Proc. Edinb. Math. Soc., II. Ser. 25, 155-171 (1982; Zbl 0486.16026)], \textit{H.-J. Bandelt} and \textit{M. Petrich} described the class of inversive semirings which arise as subdirect product of a distributive lattice and a ring. \textit{S. Ghosh} [in Semigroup Forum 59, No. 1, 106-120 (1999; Zbl 0948.16036)] generalized this result by introducing the concept of a strong distributive lattice of semirings. A semiring is said to be commutative idempotent if both reducts are semilattices. A commutative idempotent semiring \(S\) is said to be a distributive quasi-lattice if for all \(x,y,z\in S\), \(x+yz=(x+y)(x+z)\). A subdirect product \(H\) of a commutative idempotent semiring \(S\) and a ring \(R\) is called full if and only if \((e,0_R)\in H\) for every additively idempotent \(e\in S\). In this paper the authors introduce strong distributive quasi-lattices of rings and give an internal characterization of the semirings which are full subdirect products of a distributive quasi-lattice and a ring.