Congruences on inversive semirings (Q4495708)

A semiring \((S,+,\cdot)\) is called inversive if \((S,+)\) is an inverse semigroup. In any inversive semiring, the set \(E=\{a\in S\mid a+a=a\}\) is an ideal, and it is a \(k\)-ideal iff \(S\) is a subdirect product of a ring and an additively idempotent semiring. Moreover, \(S\) is a Clifford semiring if \(E(S)\) is a \(k\)-ideal and a (clearly distributive) lattice. A congruence \(\varrho\) on \(S\) is called a ring [band, lattice, Clifford] congruence if \(S/\varrho\) is a ring [band, lattice, Clifford semiring], and \(\varrho\) is called additive idempotent separating [idempotent pure] if for all \(a\in S\), \(e,f\in E\), \((e,f)\in\varrho\) implies \(e=f\) [\((a,e)\in\varrho\) implies \(a=e\)]. The authors give various characterizations for a congruence \(\varrho\) to have any of the above properties. For the entire collection see [Zbl 0939.00025].