Derivations of polynomial semirings

The aim of this paper is the investigation of derivations in semiring of polynomials over idempotent semiring. For semiring [Formula: see text], where [Formula: see text] is a commutative idempotent semiring we construct derivations corresponding to the polynomials from the principal ideal [Formula: see text] and prove that the set of these derivations is a non-commutative idempotent semiring closed under the Jordan product of derivations — Theorem 3.3. We introduce generalized inner derivations defined as derivations acting only over the coefficients of the polynomial and consider [Formula: see text]-derivations in classical sense of Jacobson. In the main result, Theorem 5.3, we show that any derivation in [Formula: see text] can be represented as a sum of a generalized inner derivation and an [Formula: see text]-derivation.