ALL MAXIMAL UNIT-REGULAR SIBMONOIDS OF RELHYP((2),(2))

Abstract

Relational hypersubstitutions for algebraic systems are mappings which map operation symbols to terms and map relation symbols to relational terms preserving arities. The set of all relational hypersubstitutions for
algebraic systems (Relhyp(τ, τ 0)) together with a binary operation defined on this set forms a monoid. In this paper, we determine all maximal unit-regular submonoids of this monoid of type ((2),(2)).