Polynomial functions over finite monoids.
he class of all M-solid varieties of a given type t forms a complete sublattice of the lattice ℒ(τ) of all varieties of algebrasof type t. This gives a tool for a better description of the lattice ℒ(τ) by characterization of complete sublattices. In particular, this was done for varieties of semigroups by L. Polák ([10]) as well as by Denecke and Koppitz ([4], [5]). Denecke and Hounnon characterized M-solid varieties of semirings ([3]) and M-solid varieties of groups were characterized by Koppitz...
Abstract characterizations of relations of nonempty intersection, inclusion end equality of domains for partial -place functions are presented. Representations of Menger -semigroups by partial -place functions closed with respect to these relations are investigated.