In this note we consider inverse semirings, i.e. semirings in which for each ∈ there exists a uniquely determined element ′ ∈ such that + ′ + = and ′ + + ′ = . If additionally the commutator [ , ] = + ′ satisfies both Jordan identities, then such semirings are called Jacobi semirings. The problem of commutativity of such semirings can be solved by specifying easily verifiable conditions which must be satisfied by the commutator or some additive homomorphisms called derivations, or by a pair of

more »

... onzero mappings from to . We consider the pair ( , ) of nonzero mappings → such that ( ) = ( ) + ( ) for all , ∈ and determine several simple conditions under which the pair ( , ) of such mappings (called a generalized multiplicative derivation) forces the commutativity of a semiring . We show that semiring will be commutative if the conditions we find are satisfied by the elements of a solid ideal, i.e. a nonempty ideal with the property that for every ∈ elements + ′ are in the center of . For example, a prime Jacobi semiring with a solid ideal and a generalized multiplicative derivation ( , ) such that ( ( ) + ) = 0 for all , ∈ and some nonzero ∈ , is commutative. Moreover, in this case ( ) = ′ for all ∈ (Theorem 3.2). A prime Jacobi semiring with a generalized multiplicative derivation ( , ) is commutative also in the case when contains a nonzero ideal (not necessarily solid) such that ( ( ) ( ) + ) = 0 for all , ∈ and some nonzero ∈ (Theorem 3.3). Also prime Jacobi semirings with a non zero ideal and a nonzero derivation such that [ ( ), ] = 0 for ∈ are commutative.