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

Pornpimol Kunama; Sorasak Leeratanavalee

Pornpimol Kunama
Sorasak Leeratanavalee

Keywords: Hypersubstitution, relational hypersubstitution, algebraic systems

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)).