Embedding algebras into semimodules
by
Michal Stronkowski
Warsaw University of Technology

With any variety V of a fixed type F one can associate the variety V', of the enlarged type F' with additional operations + and 0, defined by the identities true in V, the commutativity of addition with the operations of F and the monoid identities for + and 0. Then the free V'-algebra on one generator has the structure of a semiring R_V. I will discuss the problem of embeddability of the V-algebras as subreducts into semimodules over the semiring R_V.

Date received: May 26, 2004