Published online by Cambridge University Press: 20 November 2018
A topological semiring (S, + , ·) is a nonempty Hausdorff space S on which are defined continuous and associative operations, termed addition (+) and multiplication (·), such that the multiplication distributes over addition from left and right. The additive semigroup (S, +) need not be commutative.
We prove that the set A of additively divisible elements of a compact semiring S is a two-sided multiplicative ideal, containing the set E[+] of additive idempotents, with the property that (A.S) ∪ (S.A) ⊂ E[+].