On endomorphisms of power-semigroups

Abstract

An involuted semilattice [Formula: see text] is a semilattice [Formula: see text] with an identity element [Formula: see text] and with an involution [Formula: see text] satisfying [Formula: see text] and [Formula: see text]. We consider involuted semilattices [Formula: see text] with an identity [Formula: see text] such that there is a subsemilattice [Formula: see text] without [Formula: see text] with the property that any [Formula: see text] belongs to exactly one of the following four sets : [Formula: see text], [Formula: see text], [Formula: see text] or [Formula: see text]. In this paper, we introduce an associative binary operation [Formula: see text] on [Formula: see text] in the following quite natural way: [Formula: see text], [Formula: see text], [Formula: see text], and [Formula: see text] for [Formula: see text] and characterize all endomorphisms of the orthodox semigroup [Formula: see text].