Varieties of differential modules embeddable into semimodules

Abstract

We study so called Szendrei differential modes, the variety of differential modes that embed into semimodules. The main result states that the lattice of non-trivial subvarieties is dually isomorphic to the (non-modular) lattice of congruences of the free commutative monoid on two generators.

Consequently, all varieties of Szendrei differential modes are finitely based.

Keywords

• Varieties
• differential
• modules
• embeddable
• semimodules