One-sided complements and solutions of the equation \(aXb=c\) in semirings (Q1607873)

Let \((R,+,\cdot)\) be an additively commutative semiring with absorbing zero \(0\) and identity \(1\not=0\). An element \(a^{[r]}\in R\) is called a right complement of \(a\in R\) if \(aa^{[r]}=0\) and \(a+a^{[r]}=1\) hold true. Denote by \(\text{rcomp}(R)\) the set of all elements \(a\) having a right complement. Left complements and the set \(\text{lcomp}(R)\) are defined dually. For any regular element \(a\) in \((R,\cdot)\) let \(a^\times\) be some fixed inverse of \(a\), i.e., \(aa^\times a=a\) and \(a^\times aa^\times=a^\times\). Define \(\lambda,\varrho\colon R\to R\) by \(\lambda(a)=a^\times a\) and \(\varrho(a)=aa^\times\). If \(a\) and \(b\) are regular elements in \((R,\cdot)\) such that \(\lambda(a)\in\text{rcomp}(R)\) and \(\varrho(b)\in\text{lcomp}(R)\), then the equation \(aXb=c\) for some \(c\in R\) has a solution in \(R\) iff \(\varrho(a)c\lambda(b)=c\) is satisfied. Moreover, all solutions are given by \(\{a^\times cb^\times+\lambda(a)x\varrho(b)^{[l]}+\lambda(a)^{[r]}x\mid x\in R\}\). A corresponding result is proved for matrix equations \(AXB=C\). (Also submitted to MR).