Embedding modes into semimodules, Part I

Abstract

AbstractBy recent results of M. Stronkowski, it is known that not all modes embed as subreducts into semimodules over commutative unital semirings. Related to this problem is the problem of constructing a (commutative unital) semiring defining the variety of semimodules whose idempotent subreducts lie in a given variety of modes. We provide a general construction of such semirings, along with basic examples and some general properties. The second part of the paper will deal with applications of the general construction to some selected varieties of modes, and will provide a description of semirings determining varieties of semimodules having algebras from these varieties as idempotent subreducts.