Embedding modes into semimodules, Part III

Abstract

AbstractIn the first part of this paper, we considered the problem of constructing a (commutative unital) semiring defining the variety of semimodules whose idempotent subreducts lie in a given variety of modes. We provided a general construction of such semirings, along with basic examples and some general properties. In the second part of the paper we discussed some selected varieties of modes, in particular, varieties of affine spaces, varieties of barycentric algebras and varieties of semilattice modes, and described the semirings determining their semi-linearizations, the varieties of semimodules having these algebras as idempotent subreducts. The third part is devoted to varieties of differential groupoids and more general differential modes, and provides the semirings of the semi-linearizations of these varieties.